Re: [Cryptography] GCC bug 30475 (was Re: bounded pointers in C)