Debugging convenience code