instrn reallocation bug fxd