def main args := write "Hello world\n"