Create mfsm.h