Carver programs are data-driven!