let shift offs m =
    mapii (fun k v -> Int_Interv.shift offs k, v) m