rename summative -> main.cc