(fun print_true (print "True"))
(fun print_false (print "False"))
(fun main
    (if true (print_true) (print_false)))