``` parameter unit; storage unit; code { PUSH (pair int (pair bool bool)) (Pair 123 (Pair True True)); $Caret$ DROP; DROP; UNIT; NIL operation; PAIR } ```