nothrow seems to fail here