cleaning up of main() goes on ...