CONVERT ${ UTCLONG time_stamp INTO $[DATE dat$]
$[TIME tim $[FRACTIONAL SECONDS fs$]$]
$[DAYLIGHT SAVING TIME dst$]
TIME ZONE tz $}
$| ${ DATE dat TIME tim $[FRACTIONAL SECONDS fs$]
$[DAYLIGHT SAVING TIME dst$] TIME ZONE tz
INTO UTCLONG time_stamp $}.