sig
  val contains_sub : string -> string -> bool
  val sub_index : string -> string -> int
  val count_sub : string -> string -> int
  val sub_indices : string -> string -> int list
  val test1 : string -> string -> unit
  val test2 : string -> string -> unit
  val test3 : string -> string -> unit
  val test4 : string -> string -> unit
  val main_test1 : unit -> unit
  val main_test2 : unit -> unit
  val main_test3 : unit -> unit
  val main_test4 : unit -> unit
end