define i32 @foo(i32 %i) { entry: ret i32 4 }