Debugging Zehn files