let remove_prefix pref s =
let lenp = String.length pref in
let len = String.length s in
if len <= lenp then
s
else
(if String.lowercase (String.sub s 0 lenp) =
String.lowercase pref
then
String.sub s lenp (len - lenp)
else
s
)