[gambit-list] GCC Undefined Behavior Sanitizer ? ubsan | Red