sig
  val num_iterations : int
  val size_arg : int option
  val max_trivial_percentage : float
end