Examples, with naive VCR setup