module "main" extern "puts" func puts(text: cstring) extern "main" func main(argc: i64, argv: [?]cstring): i64 { let x = [10]i32 x[0] = 23 return 0 }