#!/bin/bash

for example in *.mio; do
    echo "Example:" $(basename -s .mio $example)
    mio -i $example;
    echo
done
