Some examples of Allegro Extensions