Create verify.cpp