Create verify.cc