some MMT files from my programming class