Debugging h3