; CHECK-LABEL: .imports
; CHECK-NEXT: .import $printi "" "printi" (param i32) (result i32)
; CHECK-NEXT: .import $printf "" "printf" (param f32) (result f32)
-; CHECK-NEXT: .import $printv "" "printv"
+; CHECK-NEXT: .import $printv "" "printv" (param)
+; CHECK-NEXT: .import $add2 "" "add2" (param i32 i32) (result i32)
declare i32 @printi(i32)
declare float @printf(float)
declare void @printv()
+declare i32 @add2(i32, i32)