Debugging with gvd