COMPILATION ERROR: executable_semantics/testdata/global_variable5.carbon:12: type error in return expected: () actual: i32 EXIT CODE: 255