gdbstatety

type gdbstatety = (

  gs_syncget,

  gs_syncack,

  gs_clicommand,

  gs_clilist,

  gs_canstop,

  gs_started,

  gs_startup,

  gs_attaching,

  gs_execloaded,

  gs_attached,

  gs_detached,

  gs_remote,

  gs_async,

  gs_downloaded,

  gs_downloading,

  gs_runafterload,

  gs_internalrunning,

  gs_running,

  gs_stopped,

  gs_interrupted,

  gs_restarted,

  gs_closing,

  gs_gdbdied

);