pub const ALLEGRO_PIXEL_FORMAT_ARGB_4444: u32 = 11;