Revise main.cpp.