(fun return_true true) (fun main (do (let name "John") (if (return_true) (print name) (print "no"))))