Why not `gx + sizeof(VT) <= max_index`?