Code Editor : bugs_ps_prot_none.result