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