Updated example/etc.mochi