parameter string;
return unit;
storage string;
code {CAR; UNIT; PAIR};