parameter (map nat nat);
return (map nat nat);
storage unit;
code {}