Forced single return point in main().