procedure mainsmvc ( infilename,outfilename : in string );

-- DESCRIPTION :
--   This procedure implements the dispatcher for the mvc tool
--   by choosing the menu and calling the selected driver.
--   The arguments are the names of the input and output files.