let find_above i m =
    let o (b2, _e2) = Int.le i b2
    in
    lowest_binding_above o m