#include "gdbtypes.h"
Definition at line 1806 of file gdbtypes.h.
Definition at line 1809 of file gdbtypes.h.