22   int wrong, ok, v1, v2;  in cr_1()  local
26   v1 = v2 = 42;  in cr_1()
29   if (branch(0,  v1, v2)) ++wrong; else ++ok;  in cr_1()
30   if (branch(1,  v1, v2)) ++wrong; else ++ok;  in cr_1()
31   if (branch(2,  v1, v2)) ++wrong; else ++ok;  in cr_1()
32   if (branch(3,  v1, v2)) ++wrong; else ++ok;  in cr_1()
33   if (branch(4,  v1, v2)) ++wrong; else ++ok;  in cr_1()
34   if (branch(5,  v1, v2)) ++wrong; else ++ok;  in cr_1()
35   if (branch(6,  v1, v2)) ++wrong; else ++ok;  in cr_1()
36   if (branch(7,  v1, v2)) ++wrong; else ++ok;  in cr_1()
37   if (branch(8,  v1, v2)) ++ok; else ++wrong;  in cr_1()
38   if (branch(9,  v1, v2)) ++ok; else ++wrong;  in cr_1()
39   if (branch(10, v1, v2)) ++ok; else ++wrong;  in cr_1()
40   if (branch(11, v1, v2)) ++ok; else ++wrong;  in cr_1()
41   if (branch(12, v1, v2)) ++ok; else ++wrong;  in cr_1()
42   if (branch(13, v1, v2)) ++ok; else ++wrong;  in cr_1()
43   if (branch(14, v1, v2)) ++ok; else ++wrong;  in cr_1()
44   if (branch(15, v1, v2)) ++ok; else ++wrong;  in cr_1()
55   int wrong, ok, v1, v2;  in cr_2()  local
59   v2 = -10;  in cr_2()
62   if (branch(0,  v1, v2)) ++wrong; else ++ok;  in cr_2()
63   if (branch(1,  v1, v2)) ++wrong; else ++ok;  in cr_2()
64   if (branch(2,  v1, v2)) ++ok; else ++wrong;  in cr_2()
65   if (branch(3,  v1, v2)) ++ok; else ++wrong;  in cr_2()
66   if (branch(4,  v1, v2)) ++wrong; else ++ok;  in cr_2()
67   if (branch(5,  v1, v2)) ++wrong; else ++ok;  in cr_2()
68   if (branch(6,  v1, v2)) ++ok; else ++wrong;  in cr_2()
69   if (branch(7,  v1, v2)) ++ok; else ++wrong;  in cr_2()
70   if (branch(8,  v1, v2)) ++wrong; else ++ok;  in cr_2()
71   if (branch(9,  v1, v2)) ++wrong; else ++ok;  in cr_2()
72   if (branch(10, v1, v2)) ++ok; else ++wrong;  in cr_2()
73   if (branch(11, v1, v2)) ++ok; else ++wrong;  in cr_2()
74   if (branch(12, v1, v2)) ++wrong; else ++ok;  in cr_2()
75   if (branch(13, v1, v2)) ++wrong; else ++ok;  in cr_2()
76   if (branch(14, v1, v2)) ++ok; else ++wrong;  in cr_2()
77   if (branch(15, v1, v2)) ++ok; else ++wrong;  in cr_2()
88   int wrong, ok, v1, v2;  in cr_3()  local
92   v2 = -10;  in cr_3()
95   if (branch(0,  v1, v2)) ++wrong; else ++ok;  in cr_3()
96   if (branch(1,  v1, v2)) ++wrong; else ++ok;  in cr_3()
97   if (branch(2,  v1, v2)) ++wrong; else ++ok;  in cr_3()
98   if (branch(3,  v1, v2)) ++wrong; else ++ok;  in cr_3()
99   if (branch(4,  v1, v2)) ++ok; else ++wrong;  in cr_3()
100   if (branch(5,  v1, v2)) ++ok; else ++wrong;  in cr_3()
101   if (branch(6,  v1, v2)) ++ok; else ++wrong;  in cr_3()
102   if (branch(7,  v1, v2)) ++ok; else ++wrong;  in cr_3()
103   if (branch(8,  v1, v2)) ++wrong; else ++ok;  in cr_3()
104   if (branch(9,  v1, v2)) ++wrong; else ++ok;  in cr_3()
105   if (branch(10, v1, v2)) ++wrong; else ++ok;  in cr_3()
106   if (branch(11, v1, v2)) ++wrong; else ++ok;  in cr_3()
107   if (branch(12, v1, v2)) ++ok; else ++wrong;  in cr_3()
108   if (branch(13, v1, v2)) ++ok; else ++wrong;  in cr_3()
109   if (branch(14, v1, v2)) ++ok; else ++wrong;  in cr_3()
110   if (branch(15, v1, v2)) ++ok; else ++wrong;  in cr_3()