inl main () : i32 =
    inl f (z : i32) : i32 = z +. 1i32
    inl ~g = f
    if g 6i32 =. 7i32 then 0i32 else 1i32