This test case asserts that when there is no main.py, a py_binary is generated per main module, unless a main module main collides with existing target name.