Source position: timeh.inc line 53
function asctime(
__tp: Ptm
):Pchar;function asctime(
var __tp: tm
):Pchar;