Reformat main.cpp