verification as a command-line argument