Slightly more elaborate main.cc