Main is located in:
m3tools/src/Main.m3
trestle_by_example/src/shadow/Main.m3
trestle_by_example/src/text/Main.m3
trestle_by_example/src/common/Main.m3