a collection of examples to run on ideino with ideino-linino-lib