https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79136
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Are you sure this is not just a bug in Draco's use of the std::lib? I'll try checking out the code and building it with _GLIBCXX_DEBUG defined, and see if I can reproduce the crash.