translate verifiler.c