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

*** 450,463 ****
  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");
          ultos((uint64_t)lv, 16, buf + strlen(buf));
          (void) strcat(buf, " ");
          (void) strcat(buf, op);
!         (void) strcat(buf, " 0x");
          ultos((uint64_t)rv, 16, buf + strlen(buf));
          (void) strcat(buf, ")");
          __assfail(buf, filename, line_num);
  }
--- 450,463 ----
  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, " (");
          ultos((uint64_t)lv, 16, buf + strlen(buf));
          (void) strcat(buf, " ");
          (void) strcat(buf, op);
!         (void) strcat(buf, " ");
          ultos((uint64_t)rv, 16, buf + strlen(buf));
          (void) strcat(buf, ")");
          __assfail(buf, filename, line_num);
  }