BEGIN WRITE( "Hello world!" ); END