const filter_getterinfo: JSJitInfo;