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