Mashed broad beans