smi generator and counter example - View it on GitHub