parameter int;

storage int;

code { {} ;

       { { { { DUP } ; CAR } ;

           { { { { DIP { DUP } ; SWAP } } ; CDR } ;

             { PUSH unit Unit ;

               { { { { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } ;

                       { DIP { { DIP { DUP } ; SWAP } } ; SWAP } } ;

                     ADD } ;

                   NIL operation } ;

                 PAIR } } ;

             {} ;

             DIP { { DIP { { DIP { DIP { DIP { {} } } } ; DROP } } ; DROP } } } ;

           {} ;

           DIP { { DIP { DIP { {} } } ; DROP } } } ;

         DIP { { DIP { {} } ; DROP } } } }