Code Editor : bugs_no_prot_none.result