Return type DUs are so much better than checked exceptions.