print formats as 0x%x instead of %d in a warning message.