Reorganized so that the main file is named main.