(fun str "Hello, world!") (fun main (print str))