You can use multiple #langs, in separate files. The name collision is unrelated to the #lang of the file. It is handled by the module system.