I am working on the DBX debugger, and would like to know if any documentation exists which explains the internals of this program. Please send mail directly to me. Thank you.