Source code for micro benchmark tests yielding strange results when switching on int