package java.lang {
public interface CharSequence {
  function charAt__I(index: int): uint;
  function length__(): int;
  function subSequence__II(start: int, end: int): CharSequence;
  // skip overriding toString
}
}
