MultiView
preprocessMCF
extract
entrypoint
writeCF
mkTestMulti
mkMakefileMulti