updated coin_example.mu with latest syntax