Some infrastructure and make main() get called