Implemented C# INSTR by-(unpacked) automaton.