Restored #instructionSequence()