RE: HsVectInstIn is dead code?