============= abc =============
Count is: 600000000
18.770u 0.010s 0:18.82 99.7%	0+0k 0+0io 1469pf+0w
Count is: 600000000
18.720u 0.070s 0:18.82 99.8%	0+0k 0+0io 1469pf+0w
Count is: 600000000
18.720u 0.040s 0:18.82 99.6%	0+0k 0+0io 1371pf+0w
Count is: 600000000
18.760u 0.020s 0:18.82 99.7%	0+0k 0+0io 1469pf+0w
Count is: 600000000
18.750u 0.020s 0:18.84 99.6%	0+0k 0+0io 1469pf+0w
============= abcforce =============
Count is: 600000000
18.740u 0.020s 0:18.83 99.6%	0+0k 0+0io 1469pf+0w
Count is: 600000000
18.720u 0.050s 0:18.84 99.6%	0+0k 0+0io 1469pf+0w
Count is: 600000000
18.730u 0.020s 0:18.82 99.6%	0+0k 0+0io 1369pf+0w
Count is: 600000000
18.760u 0.030s 0:18.83 99.7%	0+0k 0+0io 1469pf+0w
Count is: 600000000
18.770u 0.020s 0:18.82 99.8%	0+0k 0+0io 1469pf+0w
============= abcnewforce =============
Count is: 600000000
10.440u 0.030s 0:10.54 99.3%	0+0k 0+0io 1371pf+0w
Count is: 600000000
10.470u 0.000s 0:10.54 99.3%	0+0k 0+0io 1469pf+0w
Count is: 600000000
10.440u 0.020s 0:10.53 99.3%	0+0k 0+0io 1469pf+0w
Count is: 600000000
10.480u 0.020s 0:10.55 99.5%	0+0k 0+0io 1469pf+0w
Count is: 600000000
10.470u 0.020s 0:10.54 99.5%	0+0k 0+0io 1469pf+0w
============= abcnoinline =============
Count is: 600000000
22.450u 0.030s 0:22.54 99.7%	0+0k 0+0io 1469pf+0w
Count is: 600000000
22.730u 0.010s 0:22.78 99.8%	0+0k 0+0io 1469pf+0w
Count is: 600000000
22.230u 0.020s 0:22.31 99.7%	0+0k 0+0io 1469pf+0w
Count is: 600000000
22.220u 0.030s 0:22.32 99.6%	0+0k 0+0io 1371pf+0w
Count is: 600000000
22.480u 0.010s 0:22.52 99.8%	0+0k 0+0io 1469pf+0w
============= ajc =============
Count is: 600000000
8.890u 0.030s 0:08.93 99.8%	0+0k 0+0io 1468pf+0w
Count is: 600000000
8.700u 0.020s 0:08.75 99.6%	0+0k 0+0io 1468pf+0w
Count is: 600000000
8.930u 0.040s 0:08.99 99.7%	0+0k 0+0io 1468pf+0w
Count is: 600000000
8.660u 0.040s 0:08.74 99.5%	0+0k 0+0io 1368pf+0w
Count is: 600000000
8.870u 0.030s 0:08.98 99.1%	0+0k 0+0io 1368pf+0w
============= ajcsoot =============
Count is: 600000000
8.630u 0.020s 0:08.74 98.9%	0+0k 0+0io 1337pf+0w
Count is: 600000000
8.660u 0.080s 0:08.75 99.8%	0+0k 0+0io 1435pf+0w
Count is: 600000000
8.650u 0.030s 0:08.74 99.3%	0+0k 0+0io 1335pf+0w
Count is: 600000000
8.670u 0.020s 0:08.74 99.4%	0+0k 0+0io 1435pf+0w
Count is: 600000000
8.690u 0.010s 0:08.73 99.6%	0+0k 0+0io 1435pf+0w
========== abcnew recompiled from dava  ========
/home/research/ccl/hendren/AroundEx/abcnewforce/dava/src
Count is: 600000000
8.260u 0.010s 0:08.34 99.1%	0+0k 0+0io 1598pf+0w
Count is: 600000000
8.450u 0.010s 0:08.52 99.2%	0+0k 0+0io 1496pf+0w
Count is: 600000000
8.710u 0.020s 0:08.76 99.6%	0+0k 0+0io 1498pf+0w
Count is: 600000000
8.350u 0.020s 0:08.40 99.6%	0+0k 0+0io 1598pf+0w
Count is: 600000000
8.720u 0.040s 0:08.76 100.0%	0+0k 0+0io 1598pf+0w
========== previous one, but hand removed casts wrt to proceeds ========
/home/research/ccl/hendren/AroundEx/abcnewforce/dava/modsrc
Count is: 600000000
8.030u 0.030s 0:08.16 98.7%	0+0k 0+0io 1598pf+0w
Count is: 600000000
8.090u 0.030s 0:08.16 99.5%	0+0k 0+0io 1598pf+0w
Count is: 600000000
7.740u 0.000s 0:07.80 99.2%	0+0k 0+0io 1498pf+0w
Count is: 600000000
8.020u 0.030s 0:08.15 98.7%	0+0k 0+0io 1598pf+0w
Count is: 600000000
7.740u 0.020s 0:07.86 98.7%	0+0k 0+0io 1598pf+0w