Section Header
    + name := HASH_TABLE_SIZE;
    - comment := "Prime INTEGER list.";
Some useful features to deal with prime INTEGER values in order to select
an appropriate size for some hash table (used for example by the DICTIONARY
class as well as by the SET class).
Section Inherit
    - parent_object:OBJECT :=
Section Public
    - prime_number_ceiling integer:INTEGER :INTEGER <-
        A good prime number, large enough, and no smaller than `integer'.