done-with-warnings works