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