Unhardcoded top-level module name