A streaming web crawler example