ADD: substring.reds