{ parameter (or (lambda %lambda unit (list operation)) (option %update_admin address)) ;

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

                (address %whitelist_contract)) ;

  code { UNPAIR ;

         IF_LEFT

           { DUP 2 ;

             CAR ;

             CAR ;

             SENDER ;

             COMPARE ;

             NEQ ;

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

             SWAP ;

             UNIT ;

             DIG 2 ;

             SWAP ;

             EXEC ;

             PAIR }

           { DUP 2 ;

             CDR ;

             NIL address ;

             SENDER ;

             CONS ;

             VIEW "are_whitelisted" bool ;

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

             IF

               { DUP 2 ;

                 CAR ;

                 SWAP ;

                 IF_NONE

                   { CDR ;

                     IF_NONE

                       { PUSH string "NO_PENDING_ADMIN" ; FAILWITH }

                       { DUP ;

                         SENDER ;

                         COMPARE ;

                         NEQ ;

                         IF

                           { DROP ; PUSH string "NOT_PENDING_ADMIN" ; FAILWITH }

                           { NONE address ; SWAP ; PAIR } } }

                   { DUP 2 ;

                     CAR ;

                     SENDER ;

                     COMPARE ;

                     NEQ ;

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

                     SOME ;

                     UPDATE 2 } ;

                 NIL operation ;

                 DUG 2 ;

                 UPDATE 1 ;

                 SWAP ;

                 PAIR }

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

  view "admin" unit address { CDR ; CAR ; CAR } }