parameter (option string);
return string;
storage unit;
code { CAR; IF_SOME {} {PUSH string ""}; UNIT; SWAP; PAIR}