storage (pair string nat) ;
parameter
  (or unit (or %data string nat)) ;
code { UNPAIR ;
       IF_LEFT
         { DROP ; NIL operation ; PAIR }
         { IF_LEFT
             { DIP { UNPAIR ; DROP } }
             { DUG 1; UNPAIR ; DIP { DROP } } ;
           PAIR ; NIL operation ; PAIR }
     }