    __attribute__((no_sanitize ("undefined")))
#endif
{
    unsigned char tmp = _value;
    Xdr::write <StreamIO> (os, tmp);
}
    __attribute__((no_sanitize ("undefined")))
#endif
{
    unsigned char tmp = _value;
    Xdr::write <StreamIO> (os, tmp);
}