package initialize_framework is 


-- Save that we have initialized the framework
--
procedure Set_Initialize;


-- Check if we have initialized the framework
--
procedure Check_Initialize;


end  initialize_framework;