EXPORTS
	Mc_Init @ 0 ; 
	mc_status @ 1 DATA ; 
	mc_formulae @ 2 DATA ;
	mc_formulaTable @ 3 DATA ;
	MC_SIMPLE @ 4 DATA ; 
	MC_TRACE @ 5 DATA ; 
	MC_XTRACE @ 6 DATA ; 
	MC_EXPLAIN @ 7 DATA ; 
	MC_TRACEPATH @ 8 DATA ; 
	MC_DIAGNOSTIC @ 9 DATA ; 
	MC_AUTOMATON @ 10 DATA ; 
	MC_MINIMIZE @ 11 DATA ; 
	MC_TREE @ 12 DATA ; 
	MC_PROGRESS @ 13 DATA ; 
	Mc_InitPkg @ 14 ; 
	Mc_ExitPkg @ 15 ; 
	Mc_AboutPkg @ 16 ; 
	Mc_AddNewFormula @ 17 ; 
	Mc_FOANextFormula @ 18 ;
	Mc_FindFormula @ 19 ; 
	Mc_WriteKnownFormulae @ 20 ; 
	Mc_WriteFormula @ 21 ; 
	Mc_CheckACTL @ 22 ; 
	Mc_CheckACTLString @ 23 ; 
	Mc_CheckACTLFile @ 24 ; 
	Mc_GenerateWCA @ 25 ; 
	Mc_ReadACTL @ 26 ; 
	Mc_ReadACTLFile @ 27 ; 
	Mc_CheckEEU @ 28 ; 
	Mc_CheckAAU @ 29 ; 
	Mc_CheckEEW @ 30 ; 
	Mc_CheckAAW @ 31 ; 
	Mc_CheckEEX @ 32 ; 
	Mc_CheckAAX @ 33 ; 
	Mc_CheckEEF @ 34 ; 
	Mc_CheckAAF @ 35 ; 
	Mc_CheckEEG @ 36 ; 
	Mc_CheckAAG @ 37 ; 
	Mc_CheckEU @ 38 ; 
	Mc_CheckAU @ 39 ; 
	Mc_CheckEX @ 40 ; 
	Mc_CheckAX @ 41 ; 
	Mc_CheckHME @ 42 ; 
	Mc_CheckHMA @ 43 ; 
	Mc_CheckEF @ 44 ; 
	Mc_CheckAF @ 45 ; 
	Mc_CheckEG @ 46 ; 
	Mc_CheckAG @ 47 ; 
	Mc_InevitableCheckEEU @ 48 ; 
	Mc_InevitableCheckAAU @ 49 ; 
	Mc_InevitableCheckEEW @ 50 ; 
	Mc_InevitableCheckAAW @ 51 ; 
	Mc_InevitableCheckEEX @ 52 ; 
	Mc_InevitableCheckAAX @ 53 ; 
	Mc_InevitableCheckEEF @ 54 ; 
	Mc_InevitableCheckAAF @ 55 ; 
	Mc_InevitableCheckEEG @ 56 ; 
	Mc_InevitableCheckAAG @ 57 ; 
	Mc_InevitableCheckEU @ 58 ; 
	Mc_InevitableCheckAU @ 59 ; 
	Mc_InevitableCheckEX @ 60 ; 
	Mc_InevitableCheckAX @ 61 ; 
	Mc_InevitableCheckHME @ 62 ; 
	Mc_InevitableCheckHMA @ 63 ; 
	Mc_InevitableCheckEF @ 64 ; 
	Mc_InevitableCheckAF @ 65 ; 
	Mc_InevitableCheckEG @ 66 ; 
	Mc_InevitableCheckAG @ 67 ; 
