Addressed noexcept and contract handlers