Symbol: verify_command