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.