The text c9f8cde7ecc5, as Debian 11 (Bullseye) shipped it.
Allegro 5 API
al_is_video_addon_initialized(3alleg5) on Linux now
