define i32 @f(i32 %a) {
  %b = add i32 %a, 5
  ret i32 %b
}