int alloc_array;

const uchar * array;

function Data_Size
       (This : in Bitmap)
    return Size_Type;

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

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

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

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

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

Fl_Bitmap(const uchar *bits, int W, int H);

Fl_Bitmap(const char *bits, int W, int H);

function Create
       (Data          : in Color_Component_Array;
        Width, Height : in Natural)
    return Bitmap
with Pre =>
    Data'Length >= Size_Type (Bytes_Needed (Width)) * Size_Type (Height);

function Bytes_Needed
       (Bits : in Natural)
    return Natural;

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

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

Fl_Image * copy();

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

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

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

void draw(int X, int Y);

procedure Draw
       (This : in Bitmap;
        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 Bitmap);