Section Header
    + name := Expanded UINTEGER_32 -> INTEGER, UINTEGER_64, INTEGER_64, POINTER;
    - comment := "Unsigned 32 bits integer.";
    - type := `unsigned long`;
    - default := (0.to_raw_uinteger_32);
Section Insert
    - parent_unsigned_integer:UNSIGNED_INTEGER :=
Section Public
    - object_size:INTEGER :=
Range.
    - maximum:UINTEGER_64 :=
Conversion with test.
    - to_uinteger_32:UINTEGER_32 <-