Questions about debug output