import "Prelude"

main = ()
  where
    A ?x => print ?x
    A ?x, not A (?x+1) => A (?x-1)
    True => A 0
--
0
()