- resid_tarval_bad = 1, /**< tarval_bad marker. */
- resid_tarval_undefined = 2, /**< tarval_undefined marker. */
- resid_tarval_b_false = 3, /**< tarval_b_false marker. */
- resid_tarval_b_true = 4 /**< tarval_b_true marker. */
+ resid_tarval_bad = 1, /**< tarval_bad marker. */
+ resid_tarval_undefined = 2, /**< tarval_undefined marker. */
+ resid_tarval_b_false = 3, /**< tarval_b_false marker. */
+ resid_tarval_b_true = 4, /**< tarval_b_true marker. */
+ resid_tarval_unreachable = 5, /**< tarval_unreachable marker. */
+ resid_tarval_reachable = 6 /**< tarval_reachable marker. */