============= abc =============
Count is: 600000000
8.706u 0.020s 0:08.77 99.4%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.723u 0.020s 0:08.87 98.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.744u 0.021s 0:08.89 98.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.767u 0.019s 0:08.87 98.8%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.790u 0.016s 0:08.94 98.4%	0+0k 0+0io 1pf+0w
============= abcforce =============
Count is: 600000000
8.733u 0.018s 0:08.87 98.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.758u 0.015s 0:08.89 98.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.766u 0.010s 0:08.88 98.7%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.763u 0.017s 0:08.87 98.8%	0+0k 0+0io 1pf+0w
Count is: 600000000
8.746u 0.021s 0:08.87 98.7%	0+0k 0+0io 1pf+0w
============= abcnewforce =============
Count is: 600000000
6.177u 0.022s 0:06.28 98.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.133u 0.020s 0:06.29 97.7%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.178u 0.019s 0:06.28 98.4%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.135u 0.019s 0:06.27 97.9%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.182u 0.021s 0:06.28 98.7%	0+0k 0+0io 1pf+0w
============= abcnoinline =============
Count is: 600000000
10.794u 0.017s 0:10.95 98.6%	0+0k 0+0io 1pf+0w
Count is: 600000000
10.783u 0.025s 0:10.95 98.6%	0+0k 0+0io 1pf+0w
Count is: 600000000
10.785u 0.015s 0:10.91 98.9%	0+0k 0+0io 1pf+0w
Count is: 600000000
10.785u 0.018s 0:10.91 98.9%	0+0k 0+0io 1pf+0w
Count is: 600000000
10.780u 0.016s 0:10.96 98.4%	0+0k 0+0io 1pf+0w
============= ajc =============
Count is: 600000000
6.785u 0.022s 0:06.90 98.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.752u 0.019s 0:06.89 98.1%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.804u 0.016s 0:06.91 98.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.767u 0.016s 0:06.89 98.2%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.782u 0.014s 0:06.90 98.4%	0+0k 0+0io 1pf+0w
============= ajcsoot =============
Count is: 600000000
6.327u 0.017s 0:06.43 98.4%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.315u 0.013s 0:06.44 98.1%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.316u 0.012s 0:06.43 98.2%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.336u 0.015s 0:06.44 98.4%	0+0k 0+0io 1pf+0w
Count is: 600000000
6.303u 0.021s 0:06.43 98.2%	0+0k 0+0io 1pf+0w
========== abcnew recompiled from dava  ========
/home/research/ccl/hendren/AroundEx/abcnewforce/dava/src
Count is: 600000000
5.137u 0.027s 0:05.24 98.2%	0+0k 0+0io 1pf+0w
Count is: 600000000
5.130u 0.018s 0:05.24 98.0%	0+0k 0+0io 1pf+0w
Count is: 600000000
5.121u 0.016s 0:05.23 98.0%	0+0k 0+0io 1pf+0w
Count is: 600000000
5.135u 0.018s 0:05.23 98.2%	0+0k 0+0io 1pf+0w
Count is: 600000000
5.142u 0.011s 0:05.23 98.4%	0+0k 0+0io 1pf+0w
========== previous one, but hand removed casts wrt to proceeds ========
/home/research/ccl/hendren/AroundEx/abcnewforce/dava/modsrc
Count is: 600000000
4.840u 0.021s 0:04.94 98.3%	0+0k 0+0io 1pf+0w
Count is: 600000000
4.831u 0.018s 0:04.98 97.1%	0+0k 0+0io 1pf+0w
Count is: 600000000
4.843u 0.024s 0:04.98 97.5%	0+0k 0+0io 1pf+0w
Count is: 600000000
4.857u 0.027s 0:04.97 97.9%	0+0k 0+0io 1pf+0w
Count is: 600000000
4.836u 0.023s 0:04.97 97.5%	0+0k 0+0io 1pf+0w