tdebug.h should not be included in a public header.