pike.git/lib/modules/Search.pmod/Filter.pmod/Base.pike:ee0d3ea5b83a57cd977490ff32f5c703f40d53f2