Code Editor : runtime_instr.h