semantic: opIndex support.