let starts_with ~prefix s = if String.length s >= String.length prefix then String.sub s 0 (String.length prefix) = prefix else false