parameter (or bool string);
return (or string bool);
storage unit;
code {CAR; IF_LEFT {RIGHT string} {LEFT bool}; UNIT; SWAP; PAIR};