It still makes it possible to have bounds checking. (And it is also not true anymore for C2Y.)