1:1	LINE+
1:1	*	"*"
1:1	LINE+
1:3	STR|	"|\tvoid do_thing(int repetitions, bool safe, bool really_safe, float discard_fraction) {"
2:1	LINE=
2:2	STR|	"|\t\tfor (int i = 0; i < repetitions; ++i) {"
3:1	LINE=
3:2	STR|	"|\t\t\tint x = do_inner_thing(\"something\", really_safe ? global_ptr : random_pointer(safe));"
4:1	LINE=
4:2	STR|	"|\t\t\tif (rand_float() >= discard_fraction) {"
5:1	LINE=
5:2	STR|	"|\t\t\t\trecord(x);"
6:1	LINE=
6:2	STR|	"|\t\t\t}"
7:1	LINE=
7:2	STR|	"|\t\t}"
8:1	LINE=
8:2	STR|	"|\t}"
9:1	LINE-
9:1	LINE=
9:1	*	"*"
9:1	LINE+
9:3	STR|	"|\tvoid do_thing("
10:1	LINE=
10:2	STR|	"|\t\t\tint repetitions, bool safe, bool really_safe,"
11:1	LINE=
11:2	STR|	"|\t\t\tfloat discard_fraction) {"
12:1	LINE=
12:2	STR|	"|\t\tfor (int i = 0; i < repetitions; ++i) {"
13:1	LINE=
13:2	STR|	"|\t\t\tint x = do_inner_thing("
14:1	LINE=
14:2	STR|	"|\t\t\t\t\t\"something\", really_safe ? global_ptr : random_pointer(safe));"
15:1	LINE=
15:2	STR|	"|\t\t\tif (rand_float() >= discard_fraction) {"
16:1	LINE=
16:2	STR|	"|\t\t\t\trecord(x);"
17:1	LINE=
17:2	STR|	"|\t\t\t}"
18:1	LINE=
18:2	STR|	"|\t\t}"
19:1	LINE=
19:2	STR|	"|\t}"
20:1	LINE-
20:1	LINE-
