function::ctime(3stap) on Linux

The text 6d0af9b0e9e3, as Debian 11 (Bullseye) shipped it.

Convert seconds since epoch into human readable date/time string

function::ctime(3stap) on Linux now