(import console) (write "Hello world")