recordclassty

type recordclassty = (

  rec_done,

  rec_running,

  rec_connected,

  rec_error,

  rec_exit,

  rec_stopped,

  rec_download,

  rec_threadcreated,

  rec_threadexited,

  rec_threadgroupexited,

  rec_threadselected,

  rec_libraryloaded,

  rec_libraryunloaded,

  rec_threadgroupadded,

  rec_threadgroupstarted,

  rec_breakpointmodified

);