で、それらは言語仕様で決まってるの?
その実装は言語仕様通りの動作なの?