code: private List<String> rdName()
  	{
  		List<String> names = new Vector<String>();
  		names.add(rdIdentifier());
  
  		if (ch == '`')
  		{
  			if (startOfName(rdCh()))
  			{
  				names.add(rdIdentifier());
  			}
  		}
  
  		if (names.size() == 2)
  		{
  			// We have the strange mk_Mod`name case...
  
  			String first = names.get(0);
  
  			if (first.startsWith("mk_") || first.startsWith("is_"))
  			{
  				List<String> one = new Vector<String>();
  				one.add(first + "`" + names.get(1));
  				names = one;
  			}
  		}
  
  		return names;
  	}
docs: Read a fully qualified module`name.
  
  @return A list of one or two name parts.