Debugging for Basu