Credits
Many thanks to Kris Nairn for suggesting the name '4ti2'. Cool. :-)
Moreover, lots of thanks to many 4ti2 users for suggesting many interesting and useful improvements.