verify()
{
    echo "Verify not run for cross-targets."
}
