EXPORTS
	Bdd_Init @ 0 ;
	bdd_status @ 1 DATA ;
	bdd_termTrue @ 2 DATA ;
	bdd_termFalse @ 3 DATA ;
	bdd_termNull @ 4 DATA ;
	Bdd_InitPkg @ 5 ;
	Bdd_ExitPkg @ 6 ;
	Bdd_AboutPkg @ 7 ;
	Bdd_GetThen @ 8 ;
	Bdd_GetElse @ 9 ;
	Bdd_GetVariable @ 10 ;
	Bdd_GetVariableName @ 11 ;
	Bdd_GetVariableChar @ 12 ;
	Bdd_GetIthVariableName @ 13 ;
	Bdd_GetVariableOrder @ 14 ;
	Bdd_FoaTerminal @ 15 ;
	Bdd_NOT @ 16 ;
	Bdd_TransferMark @ 17 ;
	Bdd_ITE @ 18 ;
	Bdd_Restrict @ 19 ;
	Bdd_Compose @ 20 ;
	Bdd_E @ 21 ;
	Bdd_A @ 22 ;
	Bdd_IncCounter @ 23 ;
	Bdd_Fresh @ 24 ;
	Bdd_Fortify @ 25 ;
	Bdd_Garbage @ 26 ;
	Bdd_SystemStat @ 27 ;
	Bdd_FunctionStat @ 28 ;
	Bdd_FindFormula @ 29 ;
	Bdd_AddFormula @ 30 ;
	Bdd_SaveFormula @ 31 ;
	Bdd_ExtractBranch @ 32 ;
	Bdd_Expand @ 33 ;
	Bdd_Expr @ 34 ;
	Bdd_WriteFunction @ 35 ;
	Bdd_WriteBDD @ 36 ;
	Bdd_WriteDot @ 37 ;
	Bdd_WriteBDDView @ 38 ;
	Bdd_WriteGraphML @ 39 ;
	Bdd_ReadGraphML @ 40 ;
	Bdd_RelOp @ 41 ;
	Bdd_RelOpSimple @ 42 ;
	Bdd_RelOpComplex @ 43 ;
	Bdd_NewState @ 44 ;
	Bdd_NewState1 @ 45 ;
	Bdd_NewState2 @ 46 ;
	Bdd_NewEq @ 47 ;
	Pa_Init @ 100 ;
	pa_status @ 101 DATA ;
	pa_sorts @ 102 DATA ;
	pa_processes @ 103 DATA ;
	pa_compositions @ 104 DATA ;
	pa_sortTable @ 105 DATA ;
	pa_processTable @ 106 DATA ;
	pa_compositionTable @ 107 DATA ;
	Pa_InitPkg @ 108 ;
	Pa_ExitPkg @ 109 ;
	Pa_AboutPkg @ 110 ;
	Pa_InitVariable @ 111 ;
	Pa_AddNewSort @ 112 ;
	Pa_FindSort @ 113 ;
	Pa_FOASortAction @ 114 ;
	Pa_FindSortAction @ 115 ;
	Pa_AddNewProcess @ 116 ;
	Pa_FindProcess @ 117 ;
	Pa_RenameProcess @ 118 ;
	Pa_CopyProcess @ 119 ;
	Pa_IsGate @ 120 ;
	Pa_FOAStateProcess @ 121 ;
	Pa_FOAGateProcess @ 122 ;
	Pa_FOAComposedStateProcess @ 123 ;
	Pa_FindStateProcess @ 124 ;
	Pa_FOANextStateProcess @ 125 ;
	Pa_FOATransition @ 126 ;
	Pa_AddNewComposition @ 127 ;
	Pa_DeleteSort @ 128 ;
	Pa_RemoveDeletedSorts @ 129 ;
	Pa_DeleteProcess @ 130 ;
	Pa_RemoveDeletedProcesses @ 131 ;
	Pa_RemoveComposition @ 132 ;
	Pa_FindComposition @ 133 ;
	Pa_FindProcessComp @ 134 ;
	Pa_AddStab @ 135 ;
	PaSaveSortActions @ 136 ;
	PaSaveProcStates @ 137 ;
	Pa_EncodeSort @ 138 ;
	Pa_EncodeProcess @ 139 ;
	Pa_EncodeMultiProcesses @ 140 ;
	Pa_ExpandGates @ 141 ;
	Pa_Process2Composition @ 142 ;
	Pa_Composition2Process @ 143 ;
	Pa_DecodeSortActions @ 144 ;
	Pa_DecodeSortActions1 @ 145 ;
	Pa_DecodeProcess @ 146 ;
	Pa_DecodeProcessStates @ 147 ;
	Pa_DecodeProcessTR @ 148 ;
	Pa_DecodeComposition @ 149 ;
	Pa_DecodeCompStates @ 150 ;
	Pa_DecodeCompTR @ 151 ;
	Pa_DecodeProcProcPair @ 152 ;
	Pa_DecodeCompProcPair @ 153 ;
	Pa_DecodeCompCompPair @ 154 ;
	Pa_ExtractProcTransition @ 155 ;
	Pa_ExtractCompTransition @ 156 ;
	Pa_ExtractProcState @ 157 ;
	Pa_EnumerateProcState @ 158 ;
	Pa_ExtractCompState @ 159 ;
	Pa_ExtractSortAction @ 160 ;
	Pa_EnumerateSortAction @ 161 ;
	Pa_WriteKnownSorts @ 162 ;
	Pa_WriteSort @ 163 ;
	Pa_WriteKnownProcesses @ 164 ;
	Pa_WriteProcess @ 165 ;
	Pa_WriteKnownCompositions @ 166 ;
	Pa_ParseSortProcess @ 167 ;
	Pa_DeleteStateProcess @ 168 ;
	Pa_AddStateProcess @ 169 ;
	Pa_WriteProcessCCS @ 170 ;
	Pa_NumberStateProcess @ 171 ;
	Pa_WriteProcessFSP @ 172 ;
	Versis_Init @ 200 ;
	versis_status @ 201 DATA ;
	Versis_InitPkg @ 202 ;
	Versis_ExitPkg @ 203 ;
	Versis_AboutPkg @ 204 ;
	Versis_Compose @ 205 ;
	Versis_ComposeInit @ 206 ;
	Versis_ComposeStep @ 207 ;
	Versis_ComposeFinish @ 208 ;
	Versis_Equivalence @ 209 ;
	Versis_Minimization @ 210 ;
	Versis_ChangeRename @ 211 ;
	Versis_ChangeHide @ 212 ;
	Versis_ChangeForbid @ 213 ;
	Versis_CheckDeadlock @ 214 ;
	Versis_CheckDivergence @ 215 ;
	Mc_Init @ 300 ;
	mc_status @ 301 DATA ;
	mc_formulae @ 302 DATA ;
	mc_formulaTable @ 303 DATA ;
	MC_SIMPLE @ 304 DATA ;
	MC_TRACE @ 305 DATA ;
	MC_XTRACE @ 306 DATA ;
	MC_EXPLAIN @ 307 DATA ;
	MC_TRACEPATH @ 308 DATA ;
	MC_DIAGNOSTIC @ 309 DATA ;
	MC_AUTOMATON @ 310 DATA ;
	MC_MINIMIZE @ 311 DATA ;
	MC_TREE @ 312 DATA ;
	MC_PROGRESS @ 313 DATA ;
	Mc_InitPkg @ 314 ;
	Mc_ExitPkg @ 315 ;
	Mc_AboutPkg @ 316 ;
	Mc_AddNewFormula @ 317 ;
	Mc_FOANextFormula @ 318 ;
	Mc_FindFormula @ 319 ;
	Mc_WriteKnownFormulae @ 320 ;
	Mc_WriteFormula @ 321 ;
	Mc_CheckACTL @ 322 ;
	Mc_CheckACTLString @ 323 ;
	Mc_CheckACTLFile @ 324 ;
	Mc_GenerateWCA @ 325 ;
	Mc_ReadACTL @ 326 ;
	Mc_ReadACTLFile @ 327 ;
	Mc_CheckEEU @ 328 ;
	Mc_CheckAAU @ 329 ;
	Mc_CheckEEW @ 330 ;
	Mc_CheckAAW @ 331 ;
	Mc_CheckEEX @ 332 ;
	Mc_CheckAAX @ 333 ;
	Mc_CheckEEF @ 334 ;
	Mc_CheckAAF @ 335 ;
	Mc_CheckEEG @ 336 ;
	Mc_CheckAAG @ 337 ;
	Mc_CheckEU @ 338 ;
	Mc_CheckAU @ 339 ;
	Mc_CheckEX @ 340 ;
	Mc_CheckAX @ 341 ;
	Mc_CheckHME @ 342 ;
	Mc_CheckHMA @ 343 ;
	Mc_CheckEF @ 344 ;
	Mc_CheckAF @ 345 ;
	Mc_CheckEG @ 346 ;
	Mc_CheckAG @ 347 ;
	Mc_InevitableCheckEEU @ 348 ;
	Mc_InevitableCheckAAU @ 349 ;
	Mc_InevitableCheckEEW @ 350 ;
	Mc_InevitableCheckAAW @ 351 ;
	Mc_InevitableCheckEEX @ 352 ;
	Mc_InevitableCheckAAX @ 353 ;
	Mc_InevitableCheckEEF @ 354 ;
	Mc_InevitableCheckAAF @ 355 ;
	Mc_InevitableCheckEEG @ 356 ;
	Mc_InevitableCheckAAG @ 357 ;
	Mc_InevitableCheckEU @ 358 ;
	Mc_InevitableCheckAU @ 359 ;
	Mc_InevitableCheckEX @ 360 ;
	Mc_InevitableCheckAX @ 361 ;
	Mc_InevitableCheckHME @ 362 ;
	Mc_InevitableCheckHMA @ 363 ;
	Mc_InevitableCheckEF @ 364 ;
	Mc_InevitableCheckAF @ 365 ;
	Mc_InevitableCheckEG @ 366 ;
	Mc_InevitableCheckAG @ 367 ;
	Strucval_Init @ 400 ;
	strucval_status @ 401 DATA ;
	Strucval_InitPkg @ 402 ;
	Strucval_ExitPkg @ 403 ;
	Strucval_AboutPkg @ 404 ;
	Strucval_SyncProduct @ 405;
	Ccs_Init @ 500 ;
	ccs_status @ 501 DATA ;
	Ccs_InitPkg @ 502 ;
	Ccs_ExitPkg @ 503 ;
	Ccs_AboutPkg @ 504 ;
	Ccs_ParseCCS @ 505 ;
	Ccs_ConvertVerilog @ 506 ;
