verify test.cpp