fix OP_DEBUG error=pointer-to-int-cast