Example using Ferris 3, Eydis, and Eydis-list