o Properly return from main().