public static void printNumericConstants() {
    {
      System.out.println("MOST-POSITIVE-INTEGER:             " + Stella.MOST_POSITIVE_INTEGER);
      System.out.println("MOST-NEGATIVE-INTEGER:            " + Stella.MOST_NEGATIVE_INTEGER);
      System.out.println("NULL-INTEGER:                     " + Stella.NULL_INTEGER);
      System.out.println("MOST-POSITIVE-LONG-INTEGER:        " + Stella.MOST_POSITIVE_LONG_INTEGER);
      System.out.println("MOST-NEGATIVE-LONG-INTEGER:       " + Stella.MOST_NEGATIVE_LONG_INTEGER);
      System.out.println("NULL-LONG-INTEGER:                " + Stella.NULL_LONG_INTEGER);
      System.out.println("MOST-POSITIVE-FLOAT:               " + Stella.MOST_POSITIVE_FLOAT);
      System.out.println("MOST-NEGATIVE-FLOAT:              " + Stella.MOST_NEGATIVE_FLOAT);
      System.out.println("LEAST-POSITIVE-FLOAT:              " + Stella.LEAST_POSITIVE_FLOAT);
      System.out.println("LEAST-NEGATIVE-FLOAT:             " + Stella.LEAST_NEGATIVE_FLOAT);
      System.out.println("NULL-FLOAT:                       " + Stella.NULL_FLOAT);
      System.out.println("*INTEGER-MSB-MASK*:                " + Stella.$INTEGER_MSB_MASK$);
      System.out.println("*INTEGER-UNSIGNED-BITS-MASK*:      " + Stella.$INTEGER_UNSIGNED_BITS_MASK$);
      System.out.println("*LONG-INTEGER-MSB-MASK*:           " + Stella.$LONG_INTEGER_MSB_MASK$);
      System.out.println("*LONG-INTEGER-UNSIGNED-BITS-MASK*: " + Stella.$LONG_INTEGER_UNSIGNED_BITS_MASK$);
      System.out.println("LONG-INTEGER-BIT-WIDTH:            " + Stella.LONG_INTEGER_BIT_WIDTH);
      System.out.println("il(MOST-POSITIVE-INTEGER):         " + Stella.integerLength(((long)(Stella.MOST_POSITIVE_INTEGER))));
      System.out.println("il(MOST-POSITIVE-LONG-INTEGER):    " + Stella.integerLength(Stella.MOST_POSITIVE_LONG_INTEGER));
      System.out.println("il(MOST-NEGATIVE-INTEGER):         " + Stella.integerLength(((long)(Stella.MOST_NEGATIVE_INTEGER))));
      System.out.println("il(MOST-NEGATIVE-LONG-INTEGER):    " + Stella.integerLength(Stella.MOST_NEGATIVE_LONG_INTEGER));
    }
;
  }