code: static void printHex(int i, int minWidth) {
          String s = Integer.toString(i, 16);
          String leadingZeroes = "00000"
                  .substring(0, Math.max(0, 5 - s.length()));
          s = leadingZeroes + s;
          printString(s, minWidth);
      }
docs: /CLOVER:OFF