The text 0f469721647d, as Debian 10 (Buster) shipped it.
Allegro 5 API
al_is_event_queue_paused(3alleg5) on Linux now
