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