#include <dbgktypes.h>
Definition at line 156 of file dbgktypes.h.
Definition at line 158 of file dbgktypes.h.