sprintf(zPtr, "ptr(%#x)", (int)pOp->p3);
sprintf(zPtr, "ptr(%#lx)", (long)pOp->p3);
void sqliteVdbePrintOp(FILE *pOut, int pc, Op *pOp){  char *zP3;  char zPtr[40];  if( pOp->p3type==P3_POINTER ){    sprintf(zPtr, "ptr(%#x)", (int)pOp->p3);    zP3 = zPtr;  }else{    zP3 = pOp->p3;  }  if( pOut==0 ) pOut = stdout;  fprintf(pOut,"%4d %-12s %4d %4d %s\n",      pc, sqliteOpcodeNames[pOp->opcode], pOp->p1, pOp->p2, zP3 ? zP3 : "");  fflush(pOut);}