int alloc_array;

const uchar * array;

function Data_Size
       (This : in RGB_Image)
    return Natural;

function Get_Datum
       (This  : in RGB_Image;
        Place : in Positive)
    return Color_Component
with Pre => Place <= This.Data_Size;

procedure Set_Datum
       (This  : in out RGB_Image;
        Place : in     Positive;
        Value : in     Color_Component)
with Pre => Place <= This.Data_Size;

function Slice
       (This : in RGB_Image;
        Low  : in Positive;
        High : in Natural)
    return Color_Component_Array
with Pre => High <= This.Data_Size,
    Post => Slice'Result'Length = Integer'Max (0, High - Low + 1);

procedure Overwrite
       (This   : in out RGB_Image;
        Place  : in     Positive;
        Values : in     Color_Component_Array)
with Pre => Place + Values'Length - 1 <= This.Data_Size;

function All_Data
       (This : in RGB_Image)
    return Color_Component_Array
with Post => All_Data'Result'Length = This.Data_Size;

Fl_RGB_Image(const uchar *bits, int W, int H, int D=3, int LD=0);

function Create
       (Data          : in Color_Component_Array;
        Width, Height : in Natural;
        Depth         : in Natural := 3;
        Line_Size     : in Natural := 0)
    return RGB_Image
with Pre => (if Line_Size = 0
    then Data'Length = Width * Height * Depth
    else Data'Length = Line_Size * Height)
    and Data'Length <= Get_Max_Size;

Fl_RGB_Image(const Fl_Pixmap *pxm, Fl_Color bg=FL_GRAY);

function Create
       (Data       : in FLTK.Images.Pixmaps.Pixmap;
        Background : in Color := Background_Color)
    return RGB_Image;

static void max_size(size_t size);

procedure Set_Max_Size
       (Value : in Natural);

static size_t max_size();

function Get_Max_Size
    return Natural;

virtual void color_average(Fl_Color c, float i);

procedure Color_Average
       (This   : in out RGB_Image;
        Col    : in     Color;
        Amount : in     Blend);

virtual Fl_Image * copy(int W, int H);

function Copy
       (This          : in RGB_Image;
        Width, Height : in Natural)
    return RGB_Image'Class;

Fl_Image * copy();

function Copy
       (This : in RGB_Image)
    return RGB_Image'Class;

virtual void desaturate();

procedure Desaturate
       (This : in out RGB_Image);

virtual void draw(int X, int Y, int W, int H,
    int cx=0, int cy=0);

procedure Draw
       (This           : in RGB_Image;
        X, Y, W, H     : in Integer;
        Clip_X, Clip_Y : in Integer := 0);

void draw(int X, int Y);

procedure Draw
       (This : in RGB_Image;
        X, Y : in Integer);

virtual void label(Fl_Widget *w);

virtual void label(Fl_Menu_Item *m);

virtual void uncache();

procedure Uncache
       (This : in out RGB_Image);