let region_fingerprint pool (fr,mr) =
    let xs,fc,fr = Z.fingerprint pool fr in
    let ys,mc,mr = M.region_fingerprint pool mr in
    xs @ ys , F.p_and fc mc , (fr,mr)