そうだよ。
規格上は何の保証もないから、処理系とかによっては全然違う結果になるかもしれないけど。