Interfaces.MZinHaskell
iTestModel
testModel
writeData