{ PUSH string "" ;

  PAIR ;

  LEFT (pair string nat) ;

  LOOP_LEFT { DUP ;

              CDR ;

              PUSH nat 0 ;

              SWAP ;

              DUP ;

              DUG 2 ;

              COMPARE ;

              GT ;

              IF

                { SWAP ;

                  CAR ;

                  PUSH nat 10 ;

                  DUP 3 ;

                  EDIV ;

                  IF_NONE { PUSH string "MOD by 0" ; FAILWITH } {} ;

                  CDR ;

                  EMPTY_MAP nat string ;

                  PUSH string "9" ;

                  SOME ;

                  PUSH nat 9 ;

                  UPDATE ;

                  PUSH string "8" ;

                  SOME ;

                  PUSH nat 8 ;

                  UPDATE ;

                  PUSH string "7" ;

                  SOME ;

                  PUSH nat 7 ;

                  UPDATE ;

                  PUSH string "6" ;

                  SOME ;

                  PUSH nat 6 ;

                  UPDATE ;

                  PUSH string "5" ;

                  SOME ;

                  PUSH nat 5 ;

                  UPDATE ;

                  PUSH string "4" ;

                  SOME ;

                  PUSH nat 4 ;

                  UPDATE ;

                  PUSH string "3" ;

                  SOME ;

                  PUSH nat 3 ;

                  UPDATE ;

                  PUSH string "2" ;

                  SOME ;

                  PUSH nat 2 ;

                  UPDATE ;

                  PUSH string "1" ;

                  SOME ;

                  PUSH nat 1 ;

                  UPDATE ;

                  PUSH string "0" ;

                  SOME ;

                  PUSH nat 0 ;

                  UPDATE ;

                  SWAP ;

                  GET ;

                  IF_NONE { PUSH string "INVALID_NAT" ; FAILWITH } {} ;

                  CONCAT ;

                  PUSH nat 10 ;

                  DIG 2 ;

                  EDIV ;

                  IF_NONE { PUSH string "DIV by 0" ; FAILWITH } {} ;

                  CAR ;

                  SWAP ;

                  PAIR ;

                  LEFT (pair string nat) }

                { DROP ; RIGHT (pair string nat) } } ;

  CAR ;

  PUSH string "" ;

  SWAP ;

  DUP ;

  DUG 2 ;

  COMPARE ;

  EQ ;

  IF { DROP ; PUSH string "0" } {} }