/* Since everything is done in modules, the main program only takes care
of the infrastructure. */
int main(int argc, char **argv) {
/* Since everything is done in modules, the main program only takes care
of the infrastructure. */
int main(int argc, char **argv) {