EXPORTS
	Versis_Init @ 0 ; 
	versis_status @ 1 DATA ; 
	Versis_InitPkg @ 2 ; 
	Versis_ExitPkg @ 3 ; 
	Versis_AboutPkg @ 4 ; 
	Versis_Compose @ 5 ; 
	Versis_ComposeInit @ 6 ; 
	Versis_ComposeStep @ 7 ; 
	Versis_ComposeFinish @ 8 ; 
	Versis_Equivalence @ 9 ; 
	Versis_Minimization @ 10 ;
	Versis_ChangeRename @ 11 ; 
	Versis_ChangeHide @ 12 ; 
	Versis_ChangeForbid @ 13 ; 
	Versis_CheckDeadlock @ 14 ; 
	Versis_CheckDivergence @ 15 ;
