let start_substr ~prefix s = if starts_with ~prefix s then begin let prefix_len = String.length prefix in true, String.sub s prefix_len (String.length s - prefix_len) end else begin false, s end