include verify.c; very minor rewrite