Source position: timeh.inc line 54
function ctime(
__timer: Ptime_t
):Pchar;function ctime(
var __timer: TTime_T
):Pchar;