parameter string; storage string; code { CAR ; NIL operation ; PAIR }