verify.c revision 5c51f1241dbbdf2656d0e10011981411ed0c9673