#include <dbgktypes.h>
Definition at line 151 of file dbgktypes.h.
Definition at line 153 of file dbgktypes.h.