let last_chars s n = sub s (length s - n) n