def render(self, r):
    return '(StringSlice {} {} {})'.format(r(self.s), r(self.start), r(self.end))
def render(self, r):
    return '(StringSlice {} {} {})'.format(r(self.s), r(self.start), r(self.end))