Introduce mu ConsoleInstr datatype