Revert "delete main"

This reverts commit a7dc3a6378237de38bb542d8803e6c028cffd931.