Source position: pxlib.pp line 378
var PX_make_timestamp: function(
pxdoc: Ppxdoc_t;
year: cint;
month: cint;
day: cint;
hour: cint;
minute: cint;
second: cint
):ppxval_t;