Write Mario spec
Merge branch 'mario'