Section Header
    + name := Expanded POINTER -> INTEGER;
    - comment := "References to objects (POINTER is mapped as C type 'void *')";
    - type := `void *`;
    - default := `NULL`:POINTER;
Section Insert
    - parent_numeric:INTEGER :=
Section Public
    - in_range low:INTEGER_64 to up:UINTEGER_64 :BOOLEAN <-
        BSBS: A revoir.
    - object_size:INTEGER <-
- pointer_size:INTEGER <- `sizeof(void *)`:INTEGER;
    - is_null:BOOLEAN <-
        Is the external POINTER a NULL pointer ?
    - is_not_null:BOOLEAN <-
        Is the external POINTER a non-NULL pointer ?
    - to_native_array:NATIVE_ARRAY[UINTEGER_8] <-
        Convert `pointer' into 'native_array' type.
    - to_uinteger_32:UINTEGER_32 <-
        convert `pointer' into uinteger type (adress of the pointer)
    - from_uinteger p:UINTEGER_32 :POINTER <-
        create POINTER from an adress
    - to_integer:INTEGER <-
Convertion format without test.
    - to_raw_integer:INTEGER <-
    - to_raw_uinteger_8:UINTEGER_8 <-
    - to_raw_uinteger_16:UINTEGER_16 <-
    - to_raw_uinteger_32:UINTEGER_32 <-
    - to_raw_uinteger_64:UINTEGER_64 <-
    - to_raw_integer_8:INTEGER_8 <-
    - to_raw_integer_16:INTEGER_16 <-
    - to_raw_integer_32:INTEGER_32 <-
    - to_raw_integer_64:INTEGER_64 <-