Code Editor : proc-lib.pl