Note that this is about pointers to variably length arrays, and not a VLA on the stack. But both are cool features. Bounds checking would be further ahead, if VLAs did not get a bad reputation from poor compilers that did not do stack probing.