patcher [pl. patchers]