Revert "Delete main.c"

This reverts commit c14533dd49499df7f8a4ed00e7edb53d0a090d89.