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