Some very simple testing of MainModList.