Modify verify.h to pacify gcc -Wredundant_decls.