const search_setterinfo: JSJitInfo;