docs: public String code() {
          if (codes == null)
              return null;
          if (codes[shift] == null)
              throw new NumberFormatException("missing code for shift: " + shift);
          return codes[shift];
      }