Well, it explicitly should or should not, depending on whether the "should not" really matters. But it should be guaranteed one way or the other