Re: help with dynamic-space-size

Stas Boukarev <[email protected]> Tue, 3 Feb 2026 01:56:18 +0300
Newsgroups gmane.lisp.steel-bank.general
Message-ID <CAF63=11uPeuL2JC56GD-ojG=RsqS9=7gXBGpZUjZos46AgO0nQ@mail.gmail.com>
PiBJIGVkaXQgdXNpbmcgc3VibGltZS10ZXh0LgoKVGhhdCdzIGFuIGludGVyZXN0aW5nIHdheSBv
ZiBjb25maWd1cmluZyBlbWFjcy4KSGF2ZSB5b3UgY29uZmlybWVkIGJ5IG90aGVyIG1lYW5zIHRo
ZSBjb250ZW50cyBvZiB0aGUgZmlsZT8gTGlrZSBjYXQsCm9yLCB5b3Uga25vdywgZW1hY3M/CgpP
biBUdWUsIEZlYiAzLCAyMDI2IGF0IDE6NTPigK9BTSBHcmVnIEJlbm5ldHQgPGd3YmVubmV0dDk5
N0BnbWFpbC5jb20+IHdyb3RlOgo+Cj4gfi8uZW1hY3MuZC9pbml0LmVsIGV4aXN0cywgfi8uZW1h
Y3MuZC9pbml0LmVsYyBkb2VzIG5vdCBleGlzdAo+Cj4gSW4gYSBuZXcgc2JjbCAocHJvYmUtZmls
ZSAifi8uZW1hY3MuZC9pbml0LmVsIikgcmV0dXJucwo+ICNQIi9ob21lL2d3YmVubmV0dC8uZW1h
Y3MuZC9pbml0LmVsIgo+IEluIGEgbmV3IGVtYWNzK3NiY2wgdGhlIHNhbWUgcmVzdWx0Cj4KPiBD
LWggdiB1c2VyLWluaXQtZmlsZSByZXR1cm5zCj4KPiB1c2VyLWluaXQtZmlsZSBpcyBhIHZhcmlh
YmxlIGRlZmluZWQgaW4g4oCYQyBzb3VyY2UgY29kZeKAmS4KPgo+IEl0cyB2YWx1ZSBpcyAiL2hv
bWUvZ3diZW5uZXR0Ly5lbWFjcy5kL2luaXQuZWwiCj4KPiBZZXMsIGFmdGVyIGVhY2ggdHJ5IEkg
cmVzdGFydCBlbWFjcy4gICB3aGljaCBlbWFjcyByZXR1cm5zIC91c3IvYmluL2VtYWNzCj4KPiBU
aGVyZSBpcyBvbmx5IHRoaXMgbGFwdG9wIGFzIGhvc3QsIEkgZWRpdCB1c2luZyBzdWJsaW1lLXRl
eHQuCj4KPiBlbWFjcyBpcyBsYXVuY2hlZCBvbiB0aGlzIGxhcHRvcCB3aGVyZSBpbml0LmVsIGFs
c28gbGl2ZXMgYXMgZG9lcyBzYmNsLAo+IHF1aWNrbGlzbywgYW5kIHRoZSBzb3VyY2UgZm9yIHRo
ZQo+IHByb2plY3QgSSBhbSB3b3JraW5nIG9uLgo+Cj4gT24gMjAyNi0wMi0wMiAxNzoyMSwgU3Rh
cyBCb3VrYXJldiB3cm90ZToKPiA+IFRoZXJlIGFyZSBtYW55IHBvc3NpYmlsaXRpZXMuIERvZXMg
fi8uZW1hY3MuZC9pbml0LmVsYyBleGlzdD8KPiA+IERpZCB5b3UgcmVzdGFydCBlbWFjcz8gQXJl
IHlvdSBlZGl0aW5nIHRoZSBmaWxlIG9uIHRoZSByaWdodCBob3N0PyBJcwo+ID4gdGhlIGVtYWNz
IHlvdSdyZSBsYXVuY2hpbmcgb24gdGhlIHNhbWUgaG9zdCB3aGVyZSB5b3VyIGZpbGUgaXMKPiA+
IGxvY2F0ZWQ/Cj4gPgo+ID4gT24gVHVlLCBGZWIgMywgMjAyNiBhdCAxOjA04oCvQU0gR3JlZyBC
ZW5uZXR0IDxnd2Jlbm5ldHRAc2VudGV4LmNhPiB3cm90ZToKPiA+PiBUaGUgY29tcGlsZSBnb3Qg
YSBiaXQgZnVydGhlciB1bnRpbAo+ID4+Cj4gPj4gOyBmYXRhbCBlcnJvciBlbmNvdW50ZXJlZCBp
biBTQkNMIHBpZCAxNjA3Nzg1IHRpZCAxNjA3Nzg1Ogo+ID4+IDsgIENvbnRyb2wgc3RhY2sgZXho
YXVzdGVkIHdoaWxlIHBzZXVkby1hdG9taWMsIGZhdWx0OiAweDc0NWJkYmRiZmZiOCwKPiA+PiBQ
QzogMHhiODAwMDAwNTljCj4gPj4KPiA+PiB3aGljaCBzdXJlbHkgcXVhbGlmaWVzIGFzIG1hbmds
aW5nIHRoaW5ncyBiYWRseS4KPiA+PiBCYWNrIHRvIHRoZSBkcmF3aW5nLWJvYXJkIG9mIHRoZSBj
b2RlIHdoZXJlIHRoaXMgYnJlYWtzLgo+ID4+Cj4gPj4gVGhhbmtzIGZvciB5b3VyIHRpbWUgYW5k
IGVmZm9ydC4KPiA+Pgo+ID4+IE9uIDIwMjYtMDItMDIgMTY6NTAsIFN0YXMgQm91a2FyZXYgd3Jv
dGU6Cj4gPj4+IEV4Y2VwdCBpdCBkb2VzIG5vdGhpbmcsIG9yIGV2ZW4gbWFuZ2xlcyBldmVyeXRo
aW5nIGJhZGx5Lgo+ID4+Pgo+ID4+PiBPbiBUdWUsIEZlYiAzLCAyMDI2IGF0IDEyOjQ24oCvQU0g
R3JlZyBCZW5uZXR0IDxnd2Jlbm5ldHQ5OTdAZ21haWwuY29tPiB3cm90ZToKPiA+Pj4+IEkgb3B0
ZWQgZm9yIHRoZSBhZGRpdGlvbiB0byAuc2JjbHJjIGF0IHRoZSBlbmQgb2YgeW91ciBlbWFpbCBB
bmRyZScuCj4gPj4+PiBPcGVuZWQgZW1hY3MsIE0teCBzbGltZSAtPiBhbiBzYmNsIGNsLXVzZXIg
cHJvbXB0IGFuZAo+ID4+Pj4KPiA+Pj4+ICgvIChkeW5hbWljLXNwYWNlLXNpemUpIChleHB0IDEw
MjQgMykpICByZXR1cm5lZCAgMyB0aGlzIHRpbWUuCj4gPj4+Pgo+ID4+Pj4gVGhpcyByb3V0ZSB0
aGUgd29ya3MgZ3JhY2VmdWxseSwgZm9yIHdoaWNoIEkgYW0gdGhhbmtmdWwuCj4gPj4+PiBUaGFu
a3MgdG8geW91IGFuZCBTdGFzIGZvciB0aGUgdGltZSB5b3UgcHV0IGludG8gdGhpcyBmb3IgbWUu
Cj4gPj4+Pgo+ID4+Pj4gR3JlZwo+ID4+Pj4KPiA+Pj4+IE9uIDIwMjYtMDItMDIgMTM6MDIsIEFu
ZHLDqSBBLiBHb21lcyB3cm90ZToKPiA+Pj4+PiBHcmVnIEJlbm5ldHQgPGd3YmVubmV0dDk5N0Bn
bWFpbC5jb20+IHdyaXRlczoKPiA+Pj4+Pgo+ID4+Pj4+PiBUaGFua3MgZm9yIHRoaXMgQW5kcmUn
LiAgIGVtYWNzIHRlbGxzIG1lCj4gPj4+Pj4+Cj4gPj4+Pj4+IHVzZXItaW5pdC1maWxlIGlzIGEg
dmFyaWFibGUgZGVmaW5lZCBpbiDigJhDIHNvdXJjZSBjb2Rl4oCZLgo+ID4+Pj4+Pgo+ID4+Pj4+
PiBJdHMgdmFsdWUgaXMgIi9ob21lL2d3YmVubmV0dC8uZW1hY3MuZC9pbml0LmVsIgo+ID4+Pj4+
Pgo+ID4+Pj4+PiBIZXJlIGFyZSBpdHMgY3VycmVudCBjb250ZW50czoKPiA+Pj4+Pj4gKGxvYWQg
KGV4cGFuZC1maWxlLW5hbWUgIn4vcXVpY2tsaXNwL3NsaW1lLWhlbHBlci5lbCIpKQo+ID4+Pj4+
PiAoc2V0cSBpbmZlcmlvci1saXNwLXByb2dyYW0gInNiY2wgLS1keW5hbWljLXNwYWNlLXNpemUg
MzA3MiIpCj4gPj4+Pj4+Cj4gPj4+Pj4+IFN0YXJ0aW5nIGVtYWNzIGFuZCBldmFsdWF0aW5nICgv
IChkeW5hbWljLXNwYWNlLXNpemUpIChleHB0IDEwMjQgMykpIHJldHVybnMgMQo+ID4+Pj4+PiBy
YXRoZXIgdGhhbiAzCj4gPj4+Pj4gUGVyaGFwcyB0aGUgaXNzdWUgaXMgaW5mZXJpb3ItbGlzcC1w
cm9ncmFtIGRvZXNuJ3QgaGFuZGxlIENMSSBvcHRpb25zCj4gPj4+Pj4gZ3JhY2VmdWxseS4KPiA+
Pj4+Pgo+ID4+Pj4+IFRyeSBzZXR0aW5nIHNsaW1lLWxpc3AtaW1wbGVtZW50YXRpb25zIGFzIGJl
bG93Ogo+ID4+Pj4+Cj4gPj4+Pj4gKHNldHEgc2xpbWUtbGlzcC1pbXBsZW1lbnRhdGlvbnMgYCgo
bXktc2JjbCAoInNiY2wiICItLWR5bmFtaWMtc3BhY2Utc2l6ZSIgIjMwNzIiKSkpKQo+ID4+Pj4+
Cj4gPj4+Pj4gVGhlbiB5b3Ugc2hvdWxkIGJlIGFibGUgdG8gY2hvb3NlIHRoZSBteS1zYmNsIGlt
cGxlbWVudGF0aW9uIHdoZW4KPiA+Pj4+PiBpc3N1aW5nIHRoZSBzbGltZSBjb21tYW5kIGZyb20g
RW1hY3MuICBUaGUgY29tbWFuZCBtYXkgcmVxdWlyZSBhIHByZWZpeAo+ID4+Pj4+IGFyZywgSSBj
YW4ndCBiZSBwcmVjaXNlIHNpbmNlIEkgdXNlIFNMWSBpbnN0ZWFkIG9mIFNsaW1lIChqdXN0IHVz
ZQo+ID4+Pj4+IEVtYWNzJyBkZXNjcmliZS1zeW1ib2wgY29tbWFuZCB0byBpbnNwZWN0IHRoZSBz
bGltZSBjb21tYW5kKS4KPiA+Pj4+Pgo+ID4+Pj4+IEJ5IHRoZSB3YXksIGFub3RoZXIgd2F5IHRv
IGFjaGlldmUgdGhpcyBnb2FsIGlzIHRvIGFkZCB0aGUgZm9sbG93aW5nIHRvCj4gPj4+Pj4geW91
ciAuc2JjbHJjIGZpbGUuCj4gPj4+Pj4KPiA+Pj4+PiAtLTg8LS0tLS0tLS0tLS0tLS0tY3V0IGhl
cmUtLS0tLS0tLS0tLS0tLS1zdGFydC0tLS0tLS0tLS0tLS0+OC0tLQo+ID4+Pj4+IDs7IEFuIGFs
dGVybmF0aXZlIHRvIHN0YXJ0aW5nIHNiY2wgdmlhIHNiY2wgLS1keW5hbWljLXNwYWNlLXNpemUg
PG1lZ2FieXRlcz4uCj4gPj4+Pj4KPiA+Pj4+PiAoc2ItYWxpZW46ZGVmaW5lLWFsaWVuLXZhcmlh
YmxlCj4gPj4+Pj4gICAgICAgICgiZHluYW1pY19zcGFjZV9zaXplIiAqc2JjbCVkeW5hbWljLXNw
YWNlLXNpemUqKQo+ID4+Pj4+ICAgICAgc2ItYWxpZW46dW5zaWduZWQpCj4gPj4+Pj4KPiA+Pj4+
PiAoZGVmY29uc3RhbnQgK01CKyAoZXhwdCAxMDI0IDIpKQo+ID4+Pj4+Cj4gPj4+Pj4gKHNldGYg
KnNiY2wlZHluYW1pYy1zcGFjZS1zaXplKiAoKiAzMDcyICtNQispKQo+ID4+Pj4+IC0tODwtLS0t
LS0tLS0tLS0tLS1jdXQgaGVyZS0tLS0tLS0tLS0tLS0tLWVuZC0tLS0tLS0tLS0tLS0tLT44LS0t
Cj4gPj4+Pj4KPiA+Pj4+Pgo+ID4+Pj4KPiA+Pj4+IF9fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fCj4gPj4+PiBTYmNsLWhlbHAgbWFpbGluZyBsaXN0Cj4gPj4+
PiBTYmNsLWhlbHBAbGlzdHMuc291cmNlZm9yZ2UubmV0Cj4gPj4+PiBodHRwczovL2xpc3RzLnNv
dXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9zYmNsLWhlbHAKPiA+Pj4gX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPiA+Pj4gU2JjbC1oZWxwIG1haWxp
bmcgbGlzdAo+ID4+PiBTYmNsLWhlbHBAbGlzdHMuc291cmNlZm9yZ2UubmV0Cj4gPj4+IGh0dHBz
Oi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL3NiY2wtaGVscAo+ID4+Pgo+
ID4+Cj4gPj4KPiA+PiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fXwo+ID4+IFNiY2wtaGVscCBtYWlsaW5nIGxpc3QKPiA+PiBTYmNsLWhlbHBAbGlzdHMuc291
cmNlZm9yZ2UubmV0Cj4gPj4gaHR0cHM6Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlz
dGluZm8vc2JjbC1oZWxwCj4gPgo+ID4gX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX18KPiA+IFNiY2wtaGVscCBtYWlsaW5nIGxpc3QKPiA+IFNiY2wtaGVscEBs
aXN0cy5zb3VyY2Vmb3JnZS5uZXQKPiA+IGh0dHBzOi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xp
c3RzL2xpc3RpbmZvL3NiY2wtaGVscAo+Cj4KPgo+IF9fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fCj4gU2JjbC1oZWxwIG1haWxpbmcgbGlzdAo+IFNiY2wtaGVs
cEBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQKPiBodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9s
aXN0cy9saXN0aW5mby9zYmNsLWhlbHAKCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fXwpTYmNsLWhlbHAgbWFpbGluZyBsaXN0ClNiY2wtaGVscEBsaXN0cy5z
b3VyY2Vmb3JnZS5uZXQKaHR0cHM6Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGlu
Zm8vc2JjbC1oZWxwCg==