const timeStamp_getterinfo: JSJitInfo;