const filter_setterinfo: JSJitInfo;