(puts "hello world!")
(printf "hello %d" 12345)
(putchar 10)
(exit 0)