`nothrow`?