Section Header
    + name := Expanded PIXEL_32;
    - comment := "Pixel on 32 bits.";
Section Insert
    + parent_pixel:Expanded PIXEL;
Section Mapping
    + map_blue:UINTEGER_8;
    + map_green:UINTEGER_8;
    + map_red:UINTEGER_8;
    + map_alpha:UINTEGER_8;
Section Public
    - blue:UINTEGER_8 <-
    - green:UINTEGER_8 <-
    - red: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_32:PIXEL_32 <-