code: static int getNumCoupons(final Memory mem) {
      final Format format = getFormat(mem);
      final HiField hiField = HiField.NUM_COUPONS;
      final long offset = getHiFieldOffset(format, hiField);
      return mem.getInt(offset);
    }
docs: PREAMBLE HI_FIELD GETS