mergesort(3bsd) on Linux

The text b88fa70a8dc6, as Debian 10 (Buster) shipped it.

sort functions

mergesort(3bsd) on Linux now