Really, no main.cc to see here!