+debug (PRINTF)
+void print_options()
+{
+ int b(bool v) { return v; }
+ with (options)
+ printf("rt.gc.cdgc.opts: verbose=%u, log_file='%s', "
+ "malloc_stats_file='%s', collect_stats_file='%s', sentinel=%d, "
+ "mem_stomp=%d, conservative=%d, fork=%d, eager_alloc=%d, "
+ "early_collect=%d, min_free=%u, prealloc_psize=%lu, "
+ "prealloc_npools=%lu\n", verbose, log_file.ptr,
+ malloc_stats_file.ptr, collect_stats_file.ptr, b(sentinel),
+ b(mem_stomp), b(conservative), b(fork), b(eager_alloc),
+ b(early_collect), min_free, prealloc_psize, prealloc_npools);
+}
+
+