const dateTime_setterinfo: JSJitInfo;