let drop_suffix t n = if n > t.len then failwith "Substring.drop_suffix" else { base = t.base; pos = t.pos; len = t.len - n; }