; ModuleID = \'t.judo\' source_filename = "t.judo" @t = common global [100 x i32] zeroinitializer, align 4 define void @main() { entry: %0 = load i32,