%bug_type = type opaque
declare i32 @bug_a(%bug_type*)
declare i32 @bug_b(%bug_type*)