void main() writeln "Hello world!";