let
get_substring s i =
Re
.get s i