pub const ALLEGRO_PIXEL_FORMAT_ARGB_8888: u32 = 9;