snd -package:singletons -package:LambdaHack -package:base-compat is:exact

Extract the second component of a pair.
Extract the second component of a strict pair.
Extract the second component of a pair.
Extract the snd component of a pair.