#define THREAD_STATE_FLAVOR_LIST 0 /* List of valid flavors */
#define THREAD_STATE_FLAVOR_LIST_NEW 128
#define THREAD_STATE_FLAVOR_LIST_10_9 129
+#define THREAD_STATE_FLAVOR_LIST_10_13 130
typedef int thread_state_flavor_t;
typedef thread_state_flavor_t *thread_state_flavor_array_t;