Help for this page
$ time ./llil2grt big1.txt big2.txt big3.txt >out.txt llil2grt start ... vector stable sort 0.665 secs write stdout 0.220 secs total time 2.652 secs
// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +~~~~~~~~~ // llil4map.cc ... return 0; }