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)