function::ctime(3stap) on Linux

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

Convert seconds since epoch into human readable date/time string

function::ctime(3stap) on Linux now