validation check for top-level module name