satisfying shredding compilation