Everything is `noexcept`ed properly