snd -package:singletons -package:vector-space -package:base-compat-batteries package:strict

Extract the second component of a strict pair.