Source position: wcharh.inc line 116
function wcsftime(
__s: Pwchar_t;
__maxsize: size_t;
__format: Pwchar_t;
__tp: Ptm
):size_t;