patch: function (struc, diff) {
// Applies the sequence of diff stanzas diff to the structure
// struc, and returns the patched structure.
patch: function (struc, diff) {
// Applies the sequence of diff stanzas diff to the structure
// struc, and returns the patched structure.