let after s pos = sub s pos (length s - pos)