documentation and debug tools