type t = string

val sub : t -> int -> char
val suffix : t -> int -> string