include Make_substring.S with type base = string