3006 VERIFY[S,U,P] and ASSERT[S,U,P] frequently check if first argument is zero

@@ -450,14 +450,14 @@
 assfail3(const char *assertion, uintmax_t lv, const char *op, uintmax_t rv,
     const char *filename, int line_num)
 {
         char buf[1000];
         (void) strcpy(buf, assertion);
-        (void) strcat(buf, " (0x");
+        (void) strcat(buf, " (");
         ultos((uint64_t)lv, 16, buf + strlen(buf));
         (void) strcat(buf, " ");
         (void) strcat(buf, op);
-        (void) strcat(buf, " 0x");
+        (void) strcat(buf, " ");
         ultos((uint64_t)rv, 16, buf + strlen(buf));
         (void) strcat(buf, ")");
         __assfail(buf, filename, line_num);
 }