Ordering of static destructors on exit