Examples for using PHP-VCR