Use right pointer type in DebugIR