module { export = [main], features = [chr] }
import "Prelude"

main = ()
  where
    when Foo ?x
    then y = ?x + 1 :: Integer
         print y
    
    when True
    then Foo 1
         Foo 2
--
3
2
()