Re: help with dynamic-space-size

Stas Boukarev <[email protected]> Tue, 3 Feb 2026 06:17:34 +0300
Newsgroups gmane.lisp.steel-bank.general
Message-ID <CAF63=12kRZLCuTd_05T1sY-U9_QxOkfu4HG4hUQreqvUtboZ+g@mail.gmail.com>
WW91IGxpdGVyYWxseSBoYXZlIHlvdXIgc2V0cSBjb21tZW50ZWQgb3V0IGhlcmU6Cgo7KHNldHEg
aW5mZXJpb3ItbGlzcC1wcm9ncmFtICJzYmNsIC0tZHluYW1pYy1zcGFjZS1zaXplIDMwNzIiKQoo
c2V0cSBpbmZlcmlvci1saXNwLXByb2dyYW0gInNiY2wiKQoKT24gVHVlLCBGZWIgMywgMjAyNiBh
dCA2OjE14oCvQU0gR3JlZyBCZW5uZXR0IDxnd2Jlbm5ldHQ5OTdAZ21haWwuY29tPiB3cm90ZToK
Pgo+IEkgcmVnYXJkIGFsbCBjb2RlIHRvIGRvIHdpdGggc2V0dGluZyB1cCBlbWFjcyB3aXRoIHN1
c3BpY2lvbi4KPgo+IEkgdGhpbmsgSSBoYXZlIG5vdGVkIGJlZm9yZSB0aGF0IGVpdGhlciBvZiB0
aGUgKHNldHEgLi4pIGZvcm1zCj4gbGVhdmVzIG1lIHdpdGggc2JjbCB3aXRoIDFHIG9mIGR5bmFt
aWMgc3BhY2UgaGFzIG1lIHdvbmRlciB3aGV0aGVyCj4gKGEpIHRoZSBpbml0LmVsIGZpbGUgaXMg
cmVhZCBidXQgdGhlIC0tZHluYW1pYy1zcGFjZS1zaXplIG9wdGlvbiBpcyBub3QKPiBwcm9jZXNz
ZWQsIG9yCj4gKGIpIHRoZSBzdGF0ZSBvZiBlbWFjcyBpcyBzZXQgZWFybGllciwgcG9zc2libHkg
aW4gaW5mLWxpc3AuZWwgd2hlcmUgdGhlCj4gdmFyaWFibGUgaW5mZXJpb3ItbGlzcC1wcm9ncmFt
IHNlZW1zCj4gdG8gYmUgZGVmaW5lZCwgc28gdGhhdCBpbml0LmVsIGlzIGlnbm9yZWQgY29tcGxl
dGVseSwgb3IKPiAoYykgc29tZXRoaW5nIGVsc2UgZW50aXJlbHkuCj4KPiAoYSkgc2VlbXMgdW5s
aWtlbHksIGJ1dCBJIGFtIHdpbGxpbmcgdG8gYmVsaWV2ZSBpdCB0byBiZSBwb3NzaWJsZS4KPgo+
IChiKSBtZWFucyB0aGF0IEkgaGF2ZSBubyBpZGVhIGhvdyB0byBoYXZlIGluaXQuZWwgdGFrZSBw
cmVjZWRlbmNlLgo+Cj4gKGMpIG1lYW5zIHRoYXQgSSBhbSBmdXJ0aGVyIG91dCB0byBzZWEgdGhh
biBJIGhhdmUgYW55IHdheSB0byByZWFsaXplLgo+Cj4gT24gMjAyNi0wMi0wMiAxODoxNSwgU3Rh
cyBCb3VrYXJldiB3cm90ZToKPiA+IERvZXNuJ3QgdGhhdCBvdXRwdXQgbG9vayBzdXNwaWNpb3Vz
IHRvIHlvdT8KPiA+Cj4gPiBPbiBUdWUsIEZlYiAzLCAyMDI2IGF0IDI6MTHigK9BTSBHcmVnIEJl
bm5ldHQgPGd3YmVubmV0dDk5N0BnbWFpbC5jb20+IHdyb3RlOgo+ID4+IEkgZGlkIG5vdCBjb25m
aWd1cmUgZW1hY3MgdG8gdXNlIHN1YmxpbWUgdGV4dC4gSSBzaW1wbHkgdXNlIFNUIGFzIGFuCj4g
Pj4gZWRpdG9yIGZvciBmaWxlcyB3aGljaCBlbWFjcy9zYmNsCj4gPj4gd29ya3Mgb24uIGVtYWNz
IGdpdmVzIG1lIGEgbmljZSBpbnRlcmZhY2UgdG8gY29tcGlsZXIgbWVzc2FnZXMsIGVycm9yCj4g
Pj4gbWVzc2FnZXMuCj4gPj4gVHlwaWNhbGx5IEkgd3JpdGUgYSBsb2cgZmlsZSBvZiBhIGNvbXBp
bGUgYW5kIGV4YW1pbmUgdGhhdCBmb3IgdGhpbmdzIEkKPiA+PiBuZWVkIHRvIGRvLgo+ID4+Cj4g
Pj4gZ3diZW5uZXR0QFhlbm9waG9uOn4kIGNhdCB+Ly5lbWFjcy5kL2luaXQuZWwKPiA+PiAobG9h
ZCAoZXhwYW5kLWZpbGUtbmFtZSAifi9xdWlja2xpc3Avc2xpbWUtaGVscGVyLmVsIikpCj4gPj4g
OyhzZXRxIGluZmVyaW9yLWxpc3AtcHJvZ3JhbSAic2JjbCAtLWR5bmFtaWMtc3BhY2Utc2l6ZSAz
MDcyIikKPiA+PiAoc2V0cSBpbmZlcmlvci1saXNwLXByb2dyYW0gInNiY2wiKQo+ID4+IGd3YmVu
bmV0dEBYZW5vcGhvbjp+JAo+ID4+Cj4gPj4KPiA+PiBPbiAyMDI2LTAyLTAyIDE3OjU2LCBTdGFz
IEJvdWthcmV2IHdyb3RlOgo+ID4+Pj4gSSBlZGl0IHVzaW5nIHN1YmxpbWUtdGV4dC4KPiA+Pj4g
VGhhdCdzIGFuIGludGVyZXN0aW5nIHdheSBvZiBjb25maWd1cmluZyBlbWFjcy4KPiA+Pj4gSGF2
ZSB5b3UgY29uZmlybWVkIGJ5IG90aGVyIG1lYW5zIHRoZSBjb250ZW50cyBvZiB0aGUgZmlsZT8g
TGlrZSBjYXQsCj4gPj4+IG9yLCB5b3Uga25vdywgZW1hY3M/Cj4gPj4+Cj4gPj4+IE9uIFR1ZSwg
RmViIDMsIDIwMjYgYXQgMTo1M+KAr0FNIEdyZWcgQmVubmV0dCA8Z3diZW5uZXR0OTk3QGdtYWls
LmNvbT4gd3JvdGU6Cj4gPj4+PiB+Ly5lbWFjcy5kL2luaXQuZWwgZXhpc3RzLCB+Ly5lbWFjcy5k
L2luaXQuZWxjIGRvZXMgbm90IGV4aXN0Cj4gPj4+Pgo+ID4+Pj4gSW4gYSBuZXcgc2JjbCAocHJv
YmUtZmlsZSAifi8uZW1hY3MuZC9pbml0LmVsIikgcmV0dXJucwo+ID4+Pj4gI1AiL2hvbWUvZ3di
ZW5uZXR0Ly5lbWFjcy5kL2luaXQuZWwiCj4gPj4+PiBJbiBhIG5ldyBlbWFjcytzYmNsIHRoZSBz
YW1lIHJlc3VsdAo+ID4+Pj4KPiA+Pj4+IEMtaCB2IHVzZXItaW5pdC1maWxlIHJldHVybnMKPiA+
Pj4+Cj4gPj4+PiB1c2VyLWluaXQtZmlsZSBpcyBhIHZhcmlhYmxlIGRlZmluZWQgaW4g4oCYQyBz
b3VyY2UgY29kZeKAmS4KPiA+Pj4+Cj4gPj4+PiBJdHMgdmFsdWUgaXMgIi9ob21lL2d3YmVubmV0
dC8uZW1hY3MuZC9pbml0LmVsIgo+ID4+Pj4KPiA+Pj4+IFllcywgYWZ0ZXIgZWFjaCB0cnkgSSBy
ZXN0YXJ0IGVtYWNzLiAgIHdoaWNoIGVtYWNzIHJldHVybnMgL3Vzci9iaW4vZW1hY3MKPiA+Pj4+
Cj4gPj4+PiBUaGVyZSBpcyBvbmx5IHRoaXMgbGFwdG9wIGFzIGhvc3QsIEkgZWRpdCB1c2luZyBz
dWJsaW1lLXRleHQuCj4gPj4+Pgo+ID4+Pj4gZW1hY3MgaXMgbGF1bmNoZWQgb24gdGhpcyBsYXB0
b3Agd2hlcmUgaW5pdC5lbCBhbHNvIGxpdmVzIGFzIGRvZXMgc2JjbCwKPiA+Pj4+IHF1aWNrbGlz
bywgYW5kIHRoZSBzb3VyY2UgZm9yIHRoZQo+ID4+Pj4gcHJvamVjdCBJIGFtIHdvcmtpbmcgb24u
Cj4gPj4+Pgo+ID4+Pj4gT24gMjAyNi0wMi0wMiAxNzoyMSwgU3RhcyBCb3VrYXJldiB3cm90ZToK
PiA+Pj4+PiBUaGVyZSBhcmUgbWFueSBwb3NzaWJpbGl0aWVzLiBEb2VzIH4vLmVtYWNzLmQvaW5p
dC5lbGMgZXhpc3Q/Cj4gPj4+Pj4gRGlkIHlvdSByZXN0YXJ0IGVtYWNzPyBBcmUgeW91IGVkaXRp
bmcgdGhlIGZpbGUgb24gdGhlIHJpZ2h0IGhvc3Q/IElzCj4gPj4+Pj4gdGhlIGVtYWNzIHlvdSdy
ZSBsYXVuY2hpbmcgb24gdGhlIHNhbWUgaG9zdCB3aGVyZSB5b3VyIGZpbGUgaXMKPiA+Pj4+PiBs
b2NhdGVkPwo+ID4+Pj4+Cj4gPj4+Pj4gT24gVHVlLCBGZWIgMywgMjAyNiBhdCAxOjA04oCvQU0g
R3JlZyBCZW5uZXR0IDxnd2Jlbm5ldHRAc2VudGV4LmNhPiB3cm90ZToKPiA+Pj4+Pj4gVGhlIGNv
bXBpbGUgZ290IGEgYml0IGZ1cnRoZXIgdW50aWwKPiA+Pj4+Pj4KPiA+Pj4+Pj4gOyBmYXRhbCBl
cnJvciBlbmNvdW50ZXJlZCBpbiBTQkNMIHBpZCAxNjA3Nzg1IHRpZCAxNjA3Nzg1Ogo+ID4+Pj4+
PiA7ICBDb250cm9sIHN0YWNrIGV4aGF1c3RlZCB3aGlsZSBwc2V1ZG8tYXRvbWljLCBmYXVsdDog
MHg3NDViZGJkYmZmYjgsCj4gPj4+Pj4+IFBDOiAweGI4MDAwMDA1OWMKPiA+Pj4+Pj4KPiA+Pj4+
Pj4gd2hpY2ggc3VyZWx5IHF1YWxpZmllcyBhcyBtYW5nbGluZyB0aGluZ3MgYmFkbHkuCj4gPj4+
Pj4+IEJhY2sgdG8gdGhlIGRyYXdpbmctYm9hcmQgb2YgdGhlIGNvZGUgd2hlcmUgdGhpcyBicmVh
a3MuCj4gPj4+Pj4+Cj4gPj4+Pj4+IFRoYW5rcyBmb3IgeW91ciB0aW1lIGFuZCBlZmZvcnQuCj4g
Pj4+Pj4+Cj4gPj4+Pj4+IE9uIDIwMjYtMDItMDIgMTY6NTAsIFN0YXMgQm91a2FyZXYgd3JvdGU6
Cj4gPj4+Pj4+PiBFeGNlcHQgaXQgZG9lcyBub3RoaW5nLCBvciBldmVuIG1hbmdsZXMgZXZlcnl0
aGluZyBiYWRseS4KPiA+Pj4+Pj4+Cj4gPj4+Pj4+PiBPbiBUdWUsIEZlYiAzLCAyMDI2IGF0IDEy
OjQ24oCvQU0gR3JlZyBCZW5uZXR0IDxnd2Jlbm5ldHQ5OTdAZ21haWwuY29tPiB3cm90ZToKPiA+
Pj4+Pj4+PiBJIG9wdGVkIGZvciB0aGUgYWRkaXRpb24gdG8gLnNiY2xyYyBhdCB0aGUgZW5kIG9m
IHlvdXIgZW1haWwgQW5kcmUnLgo+ID4+Pj4+Pj4+IE9wZW5lZCBlbWFjcywgTS14IHNsaW1lIC0+
IGFuIHNiY2wgY2wtdXNlciBwcm9tcHQgYW5kCj4gPj4+Pj4+Pj4KPiA+Pj4+Pj4+PiAoLyAoZHlu
YW1pYy1zcGFjZS1zaXplKSAoZXhwdCAxMDI0IDMpKSAgcmV0dXJuZWQgIDMgdGhpcyB0aW1lLgo+
ID4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4gVGhpcyByb3V0ZSB0aGUgd29ya3MgZ3JhY2VmdWxseSwgZm9y
IHdoaWNoIEkgYW0gdGhhbmtmdWwuCj4gPj4+Pj4+Pj4gVGhhbmtzIHRvIHlvdSBhbmQgU3RhcyBm
b3IgdGhlIHRpbWUgeW91IHB1dCBpbnRvIHRoaXMgZm9yIG1lLgo+ID4+Pj4+Pj4+Cj4gPj4+Pj4+
Pj4gR3JlZwo+ID4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4gT24gMjAyNi0wMi0wMiAxMzowMiwgQW5kcsOp
IEEuIEdvbWVzIHdyb3RlOgo+ID4+Pj4+Pj4+PiBHcmVnIEJlbm5ldHQgPGd3YmVubmV0dDk5N0Bn
bWFpbC5jb20+IHdyaXRlczoKPiA+Pj4+Pj4+Pj4KPiA+Pj4+Pj4+Pj4+IFRoYW5rcyBmb3IgdGhp
cyBBbmRyZScuICAgZW1hY3MgdGVsbHMgbWUKPiA+Pj4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4+PiB1c2Vy
LWluaXQtZmlsZSBpcyBhIHZhcmlhYmxlIGRlZmluZWQgaW4g4oCYQyBzb3VyY2UgY29kZeKAmS4K
PiA+Pj4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4+PiBJdHMgdmFsdWUgaXMgIi9ob21lL2d3YmVubmV0dC8u
ZW1hY3MuZC9pbml0LmVsIgo+ID4+Pj4+Pj4+Pj4KPiA+Pj4+Pj4+Pj4+IEhlcmUgYXJlIGl0cyBj
dXJyZW50IGNvbnRlbnRzOgo+ID4+Pj4+Pj4+Pj4gKGxvYWQgKGV4cGFuZC1maWxlLW5hbWUgIn4v
cXVpY2tsaXNwL3NsaW1lLWhlbHBlci5lbCIpKQo+ID4+Pj4+Pj4+Pj4gKHNldHEgaW5mZXJpb3It
bGlzcC1wcm9ncmFtICJzYmNsIC0tZHluYW1pYy1zcGFjZS1zaXplIDMwNzIiKQo+ID4+Pj4+Pj4+
Pj4KPiA+Pj4+Pj4+Pj4+IFN0YXJ0aW5nIGVtYWNzIGFuZCBldmFsdWF0aW5nICgvIChkeW5hbWlj
LXNwYWNlLXNpemUpIChleHB0IDEwMjQgMykpIHJldHVybnMgMQo+ID4+Pj4+Pj4+Pj4gcmF0aGVy
IHRoYW4gMwo+ID4+Pj4+Pj4+PiBQZXJoYXBzIHRoZSBpc3N1ZSBpcyBpbmZlcmlvci1saXNwLXBy
b2dyYW0gZG9lc24ndCBoYW5kbGUgQ0xJIG9wdGlvbnMKPiA+Pj4+Pj4+Pj4gZ3JhY2VmdWxseS4K
PiA+Pj4+Pj4+Pj4KPiA+Pj4+Pj4+Pj4gVHJ5IHNldHRpbmcgc2xpbWUtbGlzcC1pbXBsZW1lbnRh
dGlvbnMgYXMgYmVsb3c6Cj4gPj4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4+IChzZXRxIHNsaW1lLWxpc3At
aW1wbGVtZW50YXRpb25zIGAoKG15LXNiY2wgKCJzYmNsIiAiLS1keW5hbWljLXNwYWNlLXNpemUi
ICIzMDcyIikpKSkKPiA+Pj4+Pj4+Pj4KPiA+Pj4+Pj4+Pj4gVGhlbiB5b3Ugc2hvdWxkIGJlIGFi
bGUgdG8gY2hvb3NlIHRoZSBteS1zYmNsIGltcGxlbWVudGF0aW9uIHdoZW4KPiA+Pj4+Pj4+Pj4g
aXNzdWluZyB0aGUgc2xpbWUgY29tbWFuZCBmcm9tIEVtYWNzLiAgVGhlIGNvbW1hbmQgbWF5IHJl
cXVpcmUgYSBwcmVmaXgKPiA+Pj4+Pj4+Pj4gYXJnLCBJIGNhbid0IGJlIHByZWNpc2Ugc2luY2Ug
SSB1c2UgU0xZIGluc3RlYWQgb2YgU2xpbWUgKGp1c3QgdXNlCj4gPj4+Pj4+Pj4+IEVtYWNzJyBk
ZXNjcmliZS1zeW1ib2wgY29tbWFuZCB0byBpbnNwZWN0IHRoZSBzbGltZSBjb21tYW5kKS4KPiA+
Pj4+Pj4+Pj4KPiA+Pj4+Pj4+Pj4gQnkgdGhlIHdheSwgYW5vdGhlciB3YXkgdG8gYWNoaWV2ZSB0
aGlzIGdvYWwgaXMgdG8gYWRkIHRoZSBmb2xsb3dpbmcgdG8KPiA+Pj4+Pj4+Pj4geW91ciAuc2Jj
bHJjIGZpbGUuCj4gPj4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4+IC0tODwtLS0tLS0tLS0tLS0tLS1jdXQg
aGVyZS0tLS0tLS0tLS0tLS0tLXN0YXJ0LS0tLS0tLS0tLS0tLT44LS0tCj4gPj4+Pj4+Pj4+IDs7
IEFuIGFsdGVybmF0aXZlIHRvIHN0YXJ0aW5nIHNiY2wgdmlhIHNiY2wgLS1keW5hbWljLXNwYWNl
LXNpemUgPG1lZ2FieXRlcz4uCj4gPj4+Pj4+Pj4+Cj4gPj4+Pj4+Pj4+IChzYi1hbGllbjpkZWZp
bmUtYWxpZW4tdmFyaWFibGUKPiA+Pj4+Pj4+Pj4gICAgICAgICAgKCJkeW5hbWljX3NwYWNlX3Np
emUiICpzYmNsJWR5bmFtaWMtc3BhY2Utc2l6ZSopCj4gPj4+Pj4+Pj4+ICAgICAgICBzYi1hbGll
bjp1bnNpZ25lZCkKPiA+Pj4+Pj4+Pj4KPiA+Pj4+Pj4+Pj4gKGRlZmNvbnN0YW50ICtNQisgKGV4
cHQgMTAyNCAyKSkKPiA+Pj4+Pj4+Pj4KPiA+Pj4+Pj4+Pj4gKHNldGYgKnNiY2wlZHluYW1pYy1z
cGFjZS1zaXplKiAoKiAzMDcyICtNQispKQo+ID4+Pj4+Pj4+PiAtLTg8LS0tLS0tLS0tLS0tLS0t
Y3V0IGhlcmUtLS0tLS0tLS0tLS0tLS1lbmQtLS0tLS0tLS0tLS0tLS0+OC0tLQo+ID4+Pj4+Pj4+
Pgo+ID4+Pj4+Pj4+Pgo+ID4+Pj4+Pj4+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fCj4gPj4+Pj4+Pj4gU2JjbC1oZWxwIG1haWxpbmcgbGlzdAo+ID4+Pj4+
Pj4+IFNiY2wtaGVscEBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQKPiA+Pj4+Pj4+PiBodHRwczovL2xp
c3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9zYmNsLWhlbHAKPiA+Pj4+Pj4+IF9f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCj4gPj4+Pj4+PiBT
YmNsLWhlbHAgbWFpbGluZyBsaXN0Cj4gPj4+Pj4+PiBTYmNsLWhlbHBAbGlzdHMuc291cmNlZm9y
Z2UubmV0Cj4gPj4+Pj4+PiBodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0
aW5mby9zYmNsLWhlbHAKPiA+Pj4+Pj4+Cj4gPj4+Pj4+IF9fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fCj4gPj4+Pj4+IFNiY2wtaGVscCBtYWlsaW5nIGxpc3QK
PiA+Pj4+Pj4gU2JjbC1oZWxwQGxpc3RzLnNvdXJjZWZvcmdlLm5ldAo+ID4+Pj4+PiBodHRwczov
L2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9zYmNsLWhlbHAKPiA+Pj4+PiBf
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo+ID4+Pj4+IFNi
Y2wtaGVscCBtYWlsaW5nIGxpc3QKPiA+Pj4+PiBTYmNsLWhlbHBAbGlzdHMuc291cmNlZm9yZ2Uu
bmV0Cj4gPj4+Pj4gaHR0cHM6Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8v
c2JjbC1oZWxwCj4gPj4+Pgo+ID4+Pj4gX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX18KPiA+Pj4+IFNiY2wtaGVscCBtYWlsaW5nIGxpc3QKPiA+Pj4+IFNiY2wt
aGVscEBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQKPiA+Pj4+IGh0dHBzOi8vbGlzdHMuc291cmNlZm9y
Z2UubmV0L2xpc3RzL2xpc3RpbmZvL3NiY2wtaGVscAo+CgoKX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX18KU2JjbC1oZWxwIG1haWxpbmcgbGlzdApTYmNsLWhl
bHBAbGlzdHMuc291cmNlZm9yZ2UubmV0Cmh0dHBzOi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xp
c3RzL2xpc3RpbmZvL3NiY2wtaGVscAo=