function main (const i : int) : option (nat) is is_nat (i)