corrects formal params in allegro5-allegro-audio.ads