Ahem.  Permit me to correct the following:

Alan>However, for backwards compatibility, code that does specify any 
Alan>particular module should be treated as being in an undeclared default 
Alan>module, so that legacy code would work unchanged.

To:

However, for backwards compatibility, code that does NOT specify any 
particular module should be treated as being in an undeclared default 
module, so that legacy code would work unchanged.

 
--Alan