const timeout_setterinfo: JSJitInfo;