# This tests UPDATE on combs. See also comb-set-2.tz for tests of
# UPDATE that also change the type of fields.
parameter unit;
storage (pair nat nat nat unit);
code { CDR ;
       PUSH nat 2 ; UPDATE 1 ;
       PUSH nat 12 ; UPDATE 3 ;
       PUSH nat 8 ; UPDATE 5 ;
       UNIT ; UPDATE 6 ;
       NIL operation ; PAIR ; }