Profiling
val counters : (string * (string * int array)) list ref
val incr : int array -> int -> unit