Re: help with dynamic-space-size
Stas Boukarev <[email protected]> Tue, 3 Feb 2026 02:15:56 +0300
| Newsgroups | gmane.lisp.steel-bank.general |
|---|---|
| Message-ID | <CAF63=12LG1pQsvgsBv76MO3-NgBeO5TRTfgo0ssb7XzQuKs55A@mail.gmail.com> |
RG9lc24ndCB0aGF0IG91dHB1dCBsb29rIHN1c3BpY2lvdXMgdG8geW91PwoKT24gVHVlLCBGZWIg MywgMjAyNiBhdCAyOjEx4oCvQU0gR3JlZyBCZW5uZXR0IDxnd2Jlbm5ldHQ5OTdAZ21haWwuY29t PiB3cm90ZToKPgo+IEkgZGlkIG5vdCBjb25maWd1cmUgZW1hY3MgdG8gdXNlIHN1YmxpbWUgdGV4 dC4gSSBzaW1wbHkgdXNlIFNUIGFzIGFuCj4gZWRpdG9yIGZvciBmaWxlcyB3aGljaCBlbWFjcy9z YmNsCj4gd29ya3Mgb24uIGVtYWNzIGdpdmVzIG1lIGEgbmljZSBpbnRlcmZhY2UgdG8gY29tcGls ZXIgbWVzc2FnZXMsIGVycm9yCj4gbWVzc2FnZXMuCj4gVHlwaWNhbGx5IEkgd3JpdGUgYSBsb2cg ZmlsZSBvZiBhIGNvbXBpbGUgYW5kIGV4YW1pbmUgdGhhdCBmb3IgdGhpbmdzIEkKPiBuZWVkIHRv IGRvLgo+Cj4gZ3diZW5uZXR0QFhlbm9waG9uOn4kIGNhdCB+Ly5lbWFjcy5kL2luaXQuZWwKPiAo bG9hZCAoZXhwYW5kLWZpbGUtbmFtZSAifi9xdWlja2xpc3Avc2xpbWUtaGVscGVyLmVsIikpCj4g OyhzZXRxIGluZmVyaW9yLWxpc3AtcHJvZ3JhbSAic2JjbCAtLWR5bmFtaWMtc3BhY2Utc2l6ZSAz MDcyIikKPiAoc2V0cSBpbmZlcmlvci1saXNwLXByb2dyYW0gInNiY2wiKQo+IGd3YmVubmV0dEBY ZW5vcGhvbjp+JAo+Cj4KPiBPbiAyMDI2LTAyLTAyIDE3OjU2LCBTdGFzIEJvdWthcmV2IHdyb3Rl Ogo+ID4+IEkgZWRpdCB1c2luZyBzdWJsaW1lLXRleHQuCj4gPiBUaGF0J3MgYW4gaW50ZXJlc3Rp bmcgd2F5IG9mIGNvbmZpZ3VyaW5nIGVtYWNzLgo+ID4gSGF2ZSB5b3UgY29uZmlybWVkIGJ5IG90 aGVyIG1lYW5zIHRoZSBjb250ZW50cyBvZiB0aGUgZmlsZT8gTGlrZSBjYXQsCj4gPiBvciwgeW91 IGtub3csIGVtYWNzPwo+ID4KPiA+IE9uIFR1ZSwgRmViIDMsIDIwMjYgYXQgMTo1M+KAr0FNIEdy ZWcgQmVubmV0dCA8Z3diZW5uZXR0OTk3QGdtYWlsLmNvbT4gd3JvdGU6Cj4gPj4gfi8uZW1hY3Mu ZC9pbml0LmVsIGV4aXN0cywgfi8uZW1hY3MuZC9pbml0LmVsYyBkb2VzIG5vdCBleGlzdAo+ID4+ Cj4gPj4gSW4gYSBuZXcgc2JjbCAocHJvYmUtZmlsZSAifi8uZW1hY3MuZC9pbml0LmVsIikgcmV0 dXJucwo+ID4+ICNQIi9ob21lL2d3YmVubmV0dC8uZW1hY3MuZC9pbml0LmVsIgo+ID4+IEluIGEg bmV3IGVtYWNzK3NiY2wgdGhlIHNhbWUgcmVzdWx0Cj4gPj4KPiA+PiBDLWggdiB1c2VyLWluaXQt ZmlsZSByZXR1cm5zCj4gPj4KPiA+PiB1c2VyLWluaXQtZmlsZSBpcyBhIHZhcmlhYmxlIGRlZmlu ZWQgaW4g4oCYQyBzb3VyY2UgY29kZeKAmS4KPiA+Pgo+ID4+IEl0cyB2YWx1ZSBpcyAiL2hvbWUv Z3diZW5uZXR0Ly5lbWFjcy5kL2luaXQuZWwiCj4gPj4KPiA+PiBZZXMsIGFmdGVyIGVhY2ggdHJ5 IEkgcmVzdGFydCBlbWFjcy4gICB3aGljaCBlbWFjcyByZXR1cm5zIC91c3IvYmluL2VtYWNzCj4g Pj4KPiA+PiBUaGVyZSBpcyBvbmx5IHRoaXMgbGFwdG9wIGFzIGhvc3QsIEkgZWRpdCB1c2luZyBz dWJsaW1lLXRleHQuCj4gPj4KPiA+PiBlbWFjcyBpcyBsYXVuY2hlZCBvbiB0aGlzIGxhcHRvcCB3 aGVyZSBpbml0LmVsIGFsc28gbGl2ZXMgYXMgZG9lcyBzYmNsLAo+ID4+IHF1aWNrbGlzbywgYW5k IHRoZSBzb3VyY2UgZm9yIHRoZQo+ID4+IHByb2plY3QgSSBhbSB3b3JraW5nIG9uLgo+ID4+Cj4g Pj4gT24gMjAyNi0wMi0wMiAxNzoyMSwgU3RhcyBCb3VrYXJldiB3cm90ZToKPiA+Pj4gVGhlcmUg YXJlIG1hbnkgcG9zc2liaWxpdGllcy4gRG9lcyB+Ly5lbWFjcy5kL2luaXQuZWxjIGV4aXN0Pwo+ ID4+PiBEaWQgeW91IHJlc3RhcnQgZW1hY3M/IEFyZSB5b3UgZWRpdGluZyB0aGUgZmlsZSBvbiB0 aGUgcmlnaHQgaG9zdD8gSXMKPiA+Pj4gdGhlIGVtYWNzIHlvdSdyZSBsYXVuY2hpbmcgb24gdGhl IHNhbWUgaG9zdCB3aGVyZSB5b3VyIGZpbGUgaXMKPiA+Pj4gbG9jYXRlZD8KPiA+Pj4KPiA+Pj4g T24gVHVlLCBGZWIgMywgMjAyNiBhdCAxOjA04oCvQU0gR3JlZyBCZW5uZXR0IDxnd2Jlbm5ldHRA c2VudGV4LmNhPiB3cm90ZToKPiA+Pj4+IFRoZSBjb21waWxlIGdvdCBhIGJpdCBmdXJ0aGVyIHVu dGlsCj4gPj4+Pgo+ID4+Pj4gOyBmYXRhbCBlcnJvciBlbmNvdW50ZXJlZCBpbiBTQkNMIHBpZCAx NjA3Nzg1IHRpZCAxNjA3Nzg1Ogo+ID4+Pj4gOyAgQ29udHJvbCBzdGFjayBleGhhdXN0ZWQgd2hp bGUgcHNldWRvLWF0b21pYywgZmF1bHQ6IDB4NzQ1YmRiZGJmZmI4LAo+ID4+Pj4gUEM6IDB4Yjgw MDAwMDU5Ywo+ID4+Pj4KPiA+Pj4+IHdoaWNoIHN1cmVseSBxdWFsaWZpZXMgYXMgbWFuZ2xpbmcg dGhpbmdzIGJhZGx5Lgo+ID4+Pj4gQmFjayB0byB0aGUgZHJhd2luZy1ib2FyZCBvZiB0aGUgY29k ZSB3aGVyZSB0aGlzIGJyZWFrcy4KPiA+Pj4+Cj4gPj4+PiBUaGFua3MgZm9yIHlvdXIgdGltZSBh bmQgZWZmb3J0Lgo+ID4+Pj4KPiA+Pj4+IE9uIDIwMjYtMDItMDIgMTY6NTAsIFN0YXMgQm91a2Fy ZXYgd3JvdGU6Cj4gPj4+Pj4gRXhjZXB0IGl0IGRvZXMgbm90aGluZywgb3IgZXZlbiBtYW5nbGVz IGV2ZXJ5dGhpbmcgYmFkbHkuCj4gPj4+Pj4KPiA+Pj4+PiBPbiBUdWUsIEZlYiAzLCAyMDI2IGF0 IDEyOjQ24oCvQU0gR3JlZyBCZW5uZXR0IDxnd2Jlbm5ldHQ5OTdAZ21haWwuY29tPiB3cm90ZToK PiA+Pj4+Pj4gSSBvcHRlZCBmb3IgdGhlIGFkZGl0aW9uIHRvIC5zYmNscmMgYXQgdGhlIGVuZCBv ZiB5b3VyIGVtYWlsIEFuZHJlJy4KPiA+Pj4+Pj4gT3BlbmVkIGVtYWNzLCBNLXggc2xpbWUgLT4g YW4gc2JjbCBjbC11c2VyIHByb21wdCBhbmQKPiA+Pj4+Pj4KPiA+Pj4+Pj4gKC8gKGR5bmFtaWMt c3BhY2Utc2l6ZSkgKGV4cHQgMTAyNCAzKSkgIHJldHVybmVkICAzIHRoaXMgdGltZS4KPiA+Pj4+ Pj4KPiA+Pj4+Pj4gVGhpcyByb3V0ZSB0aGUgd29ya3MgZ3JhY2VmdWxseSwgZm9yIHdoaWNoIEkg YW0gdGhhbmtmdWwuCj4gPj4+Pj4+IFRoYW5rcyB0byB5b3UgYW5kIFN0YXMgZm9yIHRoZSB0aW1l IHlvdSBwdXQgaW50byB0aGlzIGZvciBtZS4KPiA+Pj4+Pj4KPiA+Pj4+Pj4gR3JlZwo+ID4+Pj4+ Pgo+ID4+Pj4+PiBPbiAyMDI2LTAyLTAyIDEzOjAyLCBBbmRyw6kgQS4gR29tZXMgd3JvdGU6Cj4g Pj4+Pj4+PiBHcmVnIEJlbm5ldHQgPGd3YmVubmV0dDk5N0BnbWFpbC5jb20+IHdyaXRlczoKPiA+ Pj4+Pj4+Cj4gPj4+Pj4+Pj4gVGhhbmtzIGZvciB0aGlzIEFuZHJlJy4gICBlbWFjcyB0ZWxscyBt ZQo+ID4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4gdXNlci1pbml0LWZpbGUgaXMgYSB2YXJpYWJsZSBkZWZp bmVkIGluIOKAmEMgc291cmNlIGNvZGXigJkuCj4gPj4+Pj4+Pj4KPiA+Pj4+Pj4+PiBJdHMgdmFs dWUgaXMgIi9ob21lL2d3YmVubmV0dC8uZW1hY3MuZC9pbml0LmVsIgo+ID4+Pj4+Pj4+Cj4gPj4+ Pj4+Pj4gSGVyZSBhcmUgaXRzIGN1cnJlbnQgY29udGVudHM6Cj4gPj4+Pj4+Pj4gKGxvYWQgKGV4 cGFuZC1maWxlLW5hbWUgIn4vcXVpY2tsaXNwL3NsaW1lLWhlbHBlci5lbCIpKQo+ID4+Pj4+Pj4+ IChzZXRxIGluZmVyaW9yLWxpc3AtcHJvZ3JhbSAic2JjbCAtLWR5bmFtaWMtc3BhY2Utc2l6ZSAz MDcyIikKPiA+Pj4+Pj4+Pgo+ID4+Pj4+Pj4+IFN0YXJ0aW5nIGVtYWNzIGFuZCBldmFsdWF0aW5n ICgvIChkeW5hbWljLXNwYWNlLXNpemUpIChleHB0IDEwMjQgMykpIHJldHVybnMgMQo+ID4+Pj4+ Pj4+IHJhdGhlciB0aGFuIDMKPiA+Pj4+Pj4+IFBlcmhhcHMgdGhlIGlzc3VlIGlzIGluZmVyaW9y LWxpc3AtcHJvZ3JhbSBkb2Vzbid0IGhhbmRsZSBDTEkgb3B0aW9ucwo+ID4+Pj4+Pj4gZ3JhY2Vm dWxseS4KPiA+Pj4+Pj4+Cj4gPj4+Pj4+PiBUcnkgc2V0dGluZyBzbGltZS1saXNwLWltcGxlbWVu dGF0aW9ucyBhcyBiZWxvdzoKPiA+Pj4+Pj4+Cj4gPj4+Pj4+PiAoc2V0cSBzbGltZS1saXNwLWlt cGxlbWVudGF0aW9ucyBgKChteS1zYmNsICgic2JjbCIgIi0tZHluYW1pYy1zcGFjZS1zaXplIiAi MzA3MiIpKSkpCj4gPj4+Pj4+Pgo+ID4+Pj4+Pj4gVGhlbiB5b3Ugc2hvdWxkIGJlIGFibGUgdG8g Y2hvb3NlIHRoZSBteS1zYmNsIGltcGxlbWVudGF0aW9uIHdoZW4KPiA+Pj4+Pj4+IGlzc3Vpbmcg dGhlIHNsaW1lIGNvbW1hbmQgZnJvbSBFbWFjcy4gIFRoZSBjb21tYW5kIG1heSByZXF1aXJlIGEg cHJlZml4Cj4gPj4+Pj4+PiBhcmcsIEkgY2FuJ3QgYmUgcHJlY2lzZSBzaW5jZSBJIHVzZSBTTFkg aW5zdGVhZCBvZiBTbGltZSAoanVzdCB1c2UKPiA+Pj4+Pj4+IEVtYWNzJyBkZXNjcmliZS1zeW1i b2wgY29tbWFuZCB0byBpbnNwZWN0IHRoZSBzbGltZSBjb21tYW5kKS4KPiA+Pj4+Pj4+Cj4gPj4+ Pj4+PiBCeSB0aGUgd2F5LCBhbm90aGVyIHdheSB0byBhY2hpZXZlIHRoaXMgZ29hbCBpcyB0byBh ZGQgdGhlIGZvbGxvd2luZyB0bwo+ID4+Pj4+Pj4geW91ciAuc2JjbHJjIGZpbGUuCj4gPj4+Pj4+ Pgo+ID4+Pj4+Pj4gLS04PC0tLS0tLS0tLS0tLS0tLWN1dCBoZXJlLS0tLS0tLS0tLS0tLS0tc3Rh cnQtLS0tLS0tLS0tLS0tPjgtLS0KPiA+Pj4+Pj4+IDs7IEFuIGFsdGVybmF0aXZlIHRvIHN0YXJ0 aW5nIHNiY2wgdmlhIHNiY2wgLS1keW5hbWljLXNwYWNlLXNpemUgPG1lZ2FieXRlcz4uCj4gPj4+ Pj4+Pgo+ID4+Pj4+Pj4gKHNiLWFsaWVuOmRlZmluZS1hbGllbi12YXJpYWJsZQo+ID4+Pj4+Pj4g ICAgICAgICAoImR5bmFtaWNfc3BhY2Vfc2l6ZSIgKnNiY2wlZHluYW1pYy1zcGFjZS1zaXplKikK PiA+Pj4+Pj4+ICAgICAgIHNiLWFsaWVuOnVuc2lnbmVkKQo+ID4+Pj4+Pj4KPiA+Pj4+Pj4+IChk ZWZjb25zdGFudCArTUIrIChleHB0IDEwMjQgMikpCj4gPj4+Pj4+Pgo+ID4+Pj4+Pj4gKHNldGYg KnNiY2wlZHluYW1pYy1zcGFjZS1zaXplKiAoKiAzMDcyICtNQispKQo+ID4+Pj4+Pj4gLS04PC0t LS0tLS0tLS0tLS0tLWN1dCBoZXJlLS0tLS0tLS0tLS0tLS0tZW5kLS0tLS0tLS0tLS0tLS0tPjgt LS0KPiA+Pj4+Pj4+Cj4gPj4+Pj4+Pgo+ID4+Pj4+PiBfX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fXwo+ID4+Pj4+PiBTYmNsLWhlbHAgbWFpbGluZyBsaXN0Cj4g Pj4+Pj4+IFNiY2wtaGVscEBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQKPiA+Pj4+Pj4gaHR0cHM6Ly9s aXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8vc2JjbC1oZWxwCj4gPj4+Pj4gX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPiA+Pj4+PiBTYmNs LWhlbHAgbWFpbGluZyBsaXN0Cj4gPj4+Pj4gU2JjbC1oZWxwQGxpc3RzLnNvdXJjZWZvcmdlLm5l dAo+ID4+Pj4+IGh0dHBzOi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL3Ni Y2wtaGVscAo+ID4+Pj4+Cj4gPj4+Pgo+ID4+Pj4gX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX18KPiA+Pj4+IFNiY2wtaGVscCBtYWlsaW5nIGxpc3QKPiA+Pj4+ IFNiY2wtaGVscEBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQKPiA+Pj4+IGh0dHBzOi8vbGlzdHMuc291 cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL3NiY2wtaGVscAo+ID4+PiBfX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo+ID4+PiBTYmNsLWhlbHAgbWFpbGlu ZyBsaXN0Cj4gPj4+IFNiY2wtaGVscEBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQKPiA+Pj4gaHR0cHM6 Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8vc2JjbC1oZWxwCj4gPj4KPiA+ Pgo+ID4+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCj4g Pj4gU2JjbC1oZWxwIG1haWxpbmcgbGlzdAo+ID4+IFNiY2wtaGVscEBsaXN0cy5zb3VyY2Vmb3Jn ZS5uZXQKPiA+PiBodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9z YmNsLWhlbHAKPgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fClNiY2wtaGVscCBtYWlsaW5nIGxpc3QKU2JjbC1oZWxwQGxpc3RzLnNvdXJjZWZvcmdlLm5l dApodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9zYmNsLWhlbHAK