function main (const i: int) : option(nat) is
 block {skip} with is_nat(i)