!0 = !{ !"string" } define void @f() { ret void }