parameter (pair tez tez);
storage unit;
return (pair tez tez);
code {CADR; DUP; DUP; CAR; DIP{CDR}; ADD; 
      DIP{DUP; CAR; DIP{CDR}; SUB};
      PAIR; UNIT; SWAP; PAIR};