parameter (set int);
storage unit;
return nat;
code {CAR; SIZE; UNIT; SWAP; PAIR}