midi_time (3) - Linux Manuals
midi_time: The current position in the MIDI file, in seconds. Allegro game programming library.
NAME
midi_time - The current position in the MIDI file, in seconds. Allegro game programming library.SYNOPSIS
#include <allegro.h>
extern volatile long midi_time;