tools/verify.exe