parameter (pair timestamp timestamp);
return int;
storage unit;
code { CAR; DUP; CAR; DIP{CDR}; SUB; UNIT; SWAP; PAIR }