Move the basic example to mirari