Section Header
    + name := LINKED_COLLECTION[E];
    - comment := "Common root of LINKED_LIST and TWO_WAY_LINKED_LIST..";
Section Inherit
    - parent_collection:COLLECTION[E] :=
Section Public
    - lower:INTEGER :=
        Lower index bound is frozen.
    + upper:INTEGER;
        Memorized upper index bound.
    - create:SELF <-
    - make <-
        Make an empty list
    - remove_head n:INTEGER <-
    - remove_tail n:INTEGER <-
    - first_index_of element:E :INTEGER <-
    - fast_first_index_of element:E :INTEGER <-
Implement manifest generic creation.
    - manifest_make needed_capacity:INTEGER <-
        Manifest creation of a list of items of type E.
    - manifest_put index:INTEGER to element:E <-