5
x : ℕ
true
6
