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