Examples are now in pushpop-recipes