sig
  val ints : int -> int -> int list
  val choose_many : int -> 'a list -> 'a list
end