function::ctime(3stap) on Linux

The text bd674475523d, as Debian 12 (Bookworm) shipped it.

Convert seconds since epoch into human readable date/time string

function::ctime(3stap) on Linux now