let find_or_bottom k m =
    try
      M.find k m
    with
      Not_found -> V.bottom