[export] def main print("Hello World\n")