Hello world!
main = puts 35 12 "Hello, world!" () ()
Statically checked that:
No poking outside the text screen buffer.
The message fits on the screen (and does not wrap to the next line).