parameter (or (unit %default) (lambda %execute unit (list operation)));

storage address;

code { UNPAIR ;

       IF_LEFT

         { DROP ; NIL operation }

         { SENDER ;

           DUP 3 ;

           COMPARE ;

           EQ ;

           IF {} { PUSH int 0 ; FAILWITH } ;

           NIL operation ;

           SWAP ;

           UNIT ;

           EXEC ;

           ITER { CONS } } ;

       NIL operation ;

       SWAP ;

       ITER { CONS } ;

       PAIR }