EXECUTED_PROGRAM

ret > ExitSuccess
out > InlineRecursive.f =
out >   λ a →
out >     case a of
out >       0 → 0
out >       _ → let b = a - 1 in InlineRecursive.f b
out > InlineRecursive.main =
out >   Common.IO.printNat
out >     (let a = 4 in
out >      case a of
out >        0 → 0
out >        _ → let b = 3 in InlineRecursive.f b)
out > 0
