+1 until the last statement "The behavior is undefined." which I find confusing. I think you just defined the behaviour? Better without this conclusion?