more type system stuff, noexcept