Added a test to the allegro5 formula.