Larger example to test the extraction