#include "gdbtypes.h"
Definition at line 1967 of file gdbtypes.h.
Definition at line 1970 of file gdbtypes.h.