import fn puts(str: [u8]) -> i32; fn main() -> i32 { puts("Hello World!"); return 0; }