package MMS.F_EL with Abstract_State => (Private_State, Output_State) is
   pragma Elaborate_Body (MMS.F_EL);

end MMS.F_EL;