In any case we can conclude that it is not a static destructor issue I think. Since we don't get to the end of main().
