WIP adding tests for InstrManager.