Is this sequence of operations guaranteed?
Yes ... more or less. It has a very high likelihood of being always that way but it's not exactly guaranteed for all possible combinations of target OS/processor, though I can't think ATM of one where it would fail. That is, that it happens is system-dependent but most (all?) current systems behave that way.