We will make VM-types, i.e. pointers to VLAs, mandatory in C23.