partly fixed issue #16.
run histogram.py on jalangi_trace to see statistics on record log generation