Code Editor : error-injection.h