nova versão de pingping.cerl e proc.cerl