Revert "delete main"

This reverts commit 0c24ef161d4898aad685d091dd525cc46ad67af8.