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