See [utility.undefined].