{ parameter (or

              (or %update_admin (pair %set (or (unit %owner) (unit %admin)) address)

                                (or %confirm (unit %owner) (unit %admin)))

              (lambda %lambda unit (list operation))) ;

  storage (pair

            (pair %admin (pair %owner (address %current) (option %pending address))

                         (pair %admin (address %current) (option %pending address)))

            (address %mt_contract)) ;

  code { PUSH string "SENDER_NOT_ADMIN" ;

         PUSH string "NO_PENDING_ADMIN" ;

         PUSH string "NOT_PENDING_ADMIN" ;

         DIG 3 ;

         UNPAIR ;

         IF_LEFT

           { PUSH mutez 0 ;

             AMOUNT ;

             COMPARE ;

             NEQ ;

             IF { PUSH string "NO_TEZ_EXPECTED" ; FAILWITH } {} ;

             DUP 2 ;

             CDR ;

             UNIT ;

             VIEW "whitelist_contract" address ;

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

             NIL address ;

             SENDER ;

             CONS ;

             VIEW "are_whitelisted" bool ;

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

             IF

               { DUP 2 ;

                 CAR ;

                 SWAP ;

                 IF_LEFT

                   { DIG 3 ;

                     DIG 4 ;

                     DROP 2 ;

                     UNPAIR ;

                     SENDER ;

                     DUP 4 ;

                     CDR ;

                     CAR ;

                     DUP 2 ;

                     COMPARE ;

                     NEQ ;

                     DUP 5 ;

                     CAR ;

                     CAR ;

                     DIG 2 ;

                     COMPARE ;

                     NEQ ;

                     AND ;

                     IF { DIG 4 ; FAILWITH } { DIG 4 ; DROP } ;

                     IF_LEFT

                       { DROP ; DUP 2 ; DIG 2 ; CAR ; DIG 2 ; SOME ; UPDATE 2 ; UPDATE 1 }

                       { DROP ; DUP 2 ; DIG 2 ; CDR ; DIG 2 ; SOME ; UPDATE 2 ; UPDATE 2 } }

                   { DIG 5 ;

                     DROP ;

                     IF_LEFT

                       { DROP ;

                         DUP ;

                         CAR ;

                         CDR ;

                         IF_NONE

                           { DIG 2 ; DROP 2 ; SWAP ; FAILWITH }

                           { DIG 4 ;

                             DROP ;

                             DUP ;

                             SENDER ;

                             COMPARE ;

                             NEQ ;

                             IF

                               { DROP 2 ; SWAP ; FAILWITH }

                               { DIG 3 ; DROP ; SWAP ; NONE address ; DIG 2 ; PAIR ; UPDATE 1 } } }

                       { DROP ;

                         DUP ;

                         CDR ;

                         CDR ;

                         IF_NONE

                           { DIG 2 ; DROP 2 ; SWAP ; FAILWITH }

                           { DIG 4 ;

                             DROP ;

                             DUP ;

                             SENDER ;

                             COMPARE ;

                             NEQ ;

                             IF

                               { DROP 2 ; SWAP ; FAILWITH }

                               { DIG 3 ; DROP ; SWAP ; NONE address ; DIG 2 ; PAIR ; UPDATE 2 } } } } ;

                 NIL operation ;

                 DUG 2 ;

                 UPDATE 1 ;

                 SWAP ;

                 PAIR }

               { DROP 5 ; PUSH string "ADDRESS_NOT_WHITELISTED" ; FAILWITH } }

           { DIG 2 ;

             DIG 3 ;

             DROP 2 ;

             DUP 2 ;

             CAR ;

             SENDER ;

             DUP 2 ;

             CDR ;

             CAR ;

             DUP 2 ;

             COMPARE ;

             NEQ ;

             DIG 2 ;

             CAR ;

             CAR ;

             DIG 2 ;

             COMPARE ;

             NEQ ;

             AND ;

             IF { DIG 2 ; FAILWITH } { DIG 2 ; DROP } ;

             SWAP ;

             UNIT ;

             DIG 2 ;

             SWAP ;

             EXEC ;

             PAIR } } ;

  view "admin" unit (pair address address)

        { CDR ; CAR ; DUP ; CDR ; CAR ; SWAP ; CAR ; CAR ; PAIR } }