The "function" argument in Array.map() and Array.filter() may now be a multiset. Rev: lib/modules/Array.pmod:1.35