let default_extension tags = match separators tags with | '\t' :: _ -> "tsv" | ',' :: _ -> "csv" | _ -> "table"