public header of debug
required utility modules.
header for aikiben