[Boost-users] Does Boost use a platform-configurable [[ noreturn]] attribute ?