const timing_getterinfo: JSJitInfo;