foreign fn print(x: String) Void; fn main() Int { print("Hello World\n"); return 0; }