* Switch over to cleaner TmpInstruction model