266,267c266
< if (type != 0) {
< warn("Ignoring IntVecDis write\n");
---
> if (type != 0)
269c268
< }
---
>