let separated mem a1 a2 =
    match get_zrange_opt a1 , get_zrange_opt a2 with
      | Some(p,n) , Some(q,m) -> F.p_app4 "separated_on_addr" (addr p) (addr q) n m
      | _ ->
          model_separated (dzone_assigned mem a1) (dzone_assigned mem a2)