Section Header
    + name := Expanded PIXEL_15;
    - comment := "Pixel on 15 bits";
Section Insert
    + parent_pixel:Expanded PIXEL;
Section Mapping
    + real_color:UINTEGER_16;
Section Public
    - red:UINTEGER_8 <-
    - green:UINTEGER_8 <-
    - blue:UINTEGER_8 <-
    - get_raw col:UINTEGER_32 :UINTEGER_32 <-
    - make col:UINTEGER_32 <-
    - make_rgb (r,g,b:UINTEGER_8) <-
    - size:UINTEGER_8 :=
    - red_size:UINTEGER_8 :=
    - red_pos:UINTEGER_8 :=
    - green_size:UINTEGER_8 :=
    - green_pos:UINTEGER_8 :=
    - blue_size:UINTEGER_8 :=
    - blue_pos:UINTEGER_8 :=
    - reserved_size:UINTEGER_8 :=
    - reserved_pos:UINTEGER_8 :=
    - to_pixel_15:PIXEL_15 <-