Re: master: Defensively code in type-width-in-bits

Stas Boukarev <[email protected]> Sun, 19 Apr 2026 19:07:14 +0300
Newsgroups gmane.lisp.steel-bank.cvs,gmane.lisp.steel-bank.devel
Message-ID <CAF63=10-Zm7rXMs4jAO4G+ahp_opddBeWhSyYD_kV8wdP0J1sw@mail.gmail.com>
SSB0aGluayB0eXBlLWFwcHJveGltYXRlLWludGVydmFsIHNob3VsZCBiZSB1c2VkIGluc3RlYWQu
IChXaGljaCBjYW4Kc3RpbGwgcmV0dXJuIE5JTCwgYW5kIGludGVydmFsLWhpZ2ggbWlnaHQgYWxz
byBiZSBOSUwpLgoKT24gU3VuLCBBcHIgMTksIDIwMjYgYXQgNzowMeKAr1BNIHNudWdsYXMgdmlh
IFNiY2wtY29tbWl0cwo8c2JjbC1jb21taXRzQGxpc3RzLnNvdXJjZWZvcmdlLm5ldD4gd3JvdGU6
Cj4KPiBUaGUgYnJhbmNoICJtYXN0ZXIiIGhhcyBiZWVuIHVwZGF0ZWQgaW4gU0JDTDoKPiAgICAg
ICAgdmlhICA1NjY4ODNhYjQ0ZWU0NzRiZmE1YjEyYTAwZThiNmFlYjJkOTQ2ZmRiIChjb21taXQp
Cj4gICAgICAgZnJvbSAgYzkzMTdkOTUxYTgwZWFiODAxZTNhOTNlNGVkYjM0NmRjNTRmYTMwMiAo
Y29tbWl0KQo+Cj4gLSBMb2cgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KPiBjb21taXQgNTY2ODgzYWI0NGVlNDc0YmZhNWIx
MmEwMGU4YjZhZWIyZDk0NmZkYgo+IEF1dGhvcjogRG91Z2xhcyBLYXR6bWFuIDxkb3Vna0Bnb29n
bGUuY29tPgo+IERhdGU6ICAgU3VuIEFwciAxOSAxMTo1OTo1NiAyMDI2IC0wNDAwCj4KPiAgICAg
RGVmZW5zaXZlbHkgY29kZSBpbiB0eXBlLXdpZHRoLWluLWJpdHMKPgo+ICAgICBUaGUgcmVjZWl2
aW5nIGxvZ2ljIGFscmVhZHkgcG90ZW50aWFsbHkgZXhwZWN0ZWQgTklMCj4gLS0tCj4gIHNyYy9j
b21waWxlci9nZW5lcmljL3V0aWxzLmxpc3AgfCAzICsrLQo+ICAxIGZpbGUgY2hhbmdlZCwgMiBp
bnNlcnRpb25zKCspLCAxIGRlbGV0aW9uKC0pCj4KPiBkaWZmIC0tZ2l0IGEvc3JjL2NvbXBpbGVy
L2dlbmVyaWMvdXRpbHMubGlzcCBiL3NyYy9jb21waWxlci9nZW5lcmljL3V0aWxzLmxpc3AKPiBp
bmRleCA4NWU2ZjU1MzMuLmNkZmY1NmRhYiAxMDA2NDQKPiAtLS0gYS9zcmMvY29tcGlsZXIvZ2Vu
ZXJpYy91dGlscy5saXNwCj4gKysrIGIvc3JjL2NvbXBpbGVyL2dlbmVyaWMvdXRpbHMubGlzcAo+
IEBAIC01OTMsNyArNTkzLDggQEAKPiAgICA7OyBSZXR1cm4gKGludGVnZXItbGVuZ3RoIHVwcGVy
LWJvdW5kKSBvZiBudW1lcmljIHR5cGUuIFRoaXMgaXMgTk9UIGEgdGhlb3JldGljYWwKPiAgICA7
OyBzbWFsbGVzdCBOIGJpdHMgbmVlZGVkIHRvIGVuY29kZSBhbiBlbGVtZW50IG9mIHR5cGUgaW4g
YSBwYWNrZWQgcmVwcmVzZW50YXRpb24KPiAgICA7OyAoZS5nLiB0aGUgaW50ZXJ2YWwgNS4uOCBf
Y291bGRfIGJlIHN0b3JlZCBpbiAyIGJpdHMpIGJ1dCB3ZSBkb24ndCBkbyB0aGF0Lgo+IC0gIChp
bnRlZ2VyLWxlbmd0aCAoc2ItYzo6aW50ZXJ2YWwtaGlnaCAoc2ItYzo6bnVtZXJpYy10eXBlLT5p
bnRlcnZhbCBjdHlwZSkpKSkKPiArICAoaWYgKHR5cGVwIGN0eXBlICdudW1lcmljLXVuaW9uLXR5
cGUpCj4gKyAgICAgIChpbnRlZ2VyLWxlbmd0aCAoc2ItYzo6aW50ZXJ2YWwtaGlnaCAoc2ItYzo6
bnVtZXJpYy10eXBlLT5pbnRlcnZhbCBjdHlwZSkpKSkpCj4KPiAgKGRlZnVuIGVudi1zeXN0ZW0t
dGxhYi1wIChlbnYpCj4gICAgIy1zeXN0ZW0tdGxhYnMgKGRlY2xhcmUgKGlnbm9yZSBlbnYpKQo+
Cj4gLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0KPgo+Cj4gaG9va3MvcG9zdC1yZWNlaXZlCj4gLS0KPiBTQkNMCj4K
Pgo+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCj4gU2Jj
bC1jb21taXRzIG1haWxpbmcgbGlzdAo+IFNiY2wtY29tbWl0c0BsaXN0cy5zb3VyY2Vmb3JnZS5u
ZXQKPiBodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9zYmNsLWNv
bW1pdHMKCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpT
YmNsLWNvbW1pdHMgbWFpbGluZyBsaXN0ClNiY2wtY29tbWl0c0BsaXN0cy5zb3VyY2Vmb3JnZS5u
ZXQKaHR0cHM6Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8vc2JjbC1jb21t
aXRzCg==