main.cpp arbitrarily revised.