*	|	void do_thing(int repetitions, bool safe, bool really_safe, float discard_fraction) {
	|		for (int i = 0; i < repetitions; ++i) {
	|			int x = do_inner_thing("something", really_safe ? global_ptr : random_pointer(safe));
	|			if (rand_float() >= discard_fraction) {
	|				record(x);
	|			}
	|		}
	|	}
*	|	void do_thing(
	|			int repetitions, bool safe, bool really_safe,
	|			float discard_fraction) {
	|		for (int i = 0; i < repetitions; ++i) {
	|			int x = do_inner_thing(
	|					"something", really_safe ? global_ptr : random_pointer(safe));
	|			if (rand_float() >= discard_fraction) {
	|				record(x);
	|			}
	|		}
	|	}
