Source position: timeh.inc line 44
function __time(
__timer: Ptime_t
):time_t;function __time(
var __timer: TTime_T
):time_t;