const timeOrigin_getterinfo: JSJitInfo;