An example application on top of AIOLOS