ravel tests pass
cleaned up some of the C backend debug output