parameter (or

            (or

              (or (address %simple_address)

                  (or (bool %simple_bool) (bytes %simple_bytes)))

              (or (or (int %simple_int) (key %simple_key))

                  (or (key_hash %simple_key_hash) (mutez %simple_mutez))))

            (or

              (or (or (nat %simple_nat) (option %simple_option int))

                  (or (or %simple_or (string %alternative_choice) (int %default_choice))

                      (pair %simple_pair nat nat)))

              (or (or (signature %simple_signature) (string %simple_string))

                  (or (timestamp %simple_timestamp) (unit %simple_unit)))));

storage (pair

          (pair

            (pair (pair (address %simple_address) (bool %simple_bool))

                  (pair (bytes %simple_bytes) (int %simple_int)))

            (pair (pair (key %simple_key) (key_hash %simple_key_hash))

                  (pair (mutez %simple_mutez) (nat %simple_nat))))

          (pair

            (pair

              (pair (option %simple_option int)

                    (or %simple_or (string %alternative_choice) (int %default_choice)))

              (pair (pair %simple_pair nat nat) (signature %simple_signature)))

            (pair (pair (string %simple_string) (timestamp %simple_timestamp))

                  (pair (unit %simple_unit) (string %x)))));

code { UNPAIR ;

       IF_LEFT

         { IF_LEFT

             { IF_LEFT

                 { SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; CDR ; DIG 4 ; PAIR ; PAIR ; PAIR ; PAIR }

                 { IF_LEFT

                     { SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; CAR ; DIG 4 ; SWAP ; PAIR ; PAIR ; PAIR ; PAIR }

                     { SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; SWAP ; CDR ; DIG 4 ; PAIR ; SWAP ; PAIR ; PAIR ; PAIR } } }

             { IF_LEFT

                 { IF_LEFT

                     { SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; SWAP ; CAR ; DIG 4 ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; PAIR }

                     { SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; CDR ; DIG 4 ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR } }

                 { IF_LEFT

                     { SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; CAR ; DIG 4 ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR }

                     { SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; CDR ; DIG 4 ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR } } } }

         { IF_LEFT

             { IF_LEFT

                 { IF_LEFT

                     { SWAP ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       CAR ;

                       DIG 4 ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR }

                     { SWAP ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; CDR ; DIG 4 ; PAIR ; PAIR ; PAIR ; SWAP ; PAIR } }

                 { IF_LEFT

                     { SWAP ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; CAR ; DIG 4 ; SWAP ; PAIR ; PAIR ; PAIR ; SWAP ; PAIR }

                     { SWAP ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; CDR ; DIG 4 ; PAIR ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR } } }

             { IF_LEFT

                 { IF_LEFT

                     { SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       CAR ;

                       DIG 4 ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       PAIR }

                     { SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; CDR ; DIG 4 ; PAIR ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR } }

                 { IF_LEFT

                     { SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       CAR ;

                       DIG 4 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR }

                     { UPDATE 7 } } } } ;

       NIL operation ;

       PAIR }