-#define get_tarval_mode(tv) _get_tarval_mode(tv)
-#define get_tarval_bad() _get_tarval_bad()
-#define get_tarval_undefined() _get_tarval_undefined()
-#define get_tarval_b_false() _get_tarval_b_false()
-#define get_tarval_b_true() _get_tarval_b_true()
-#define get_tarval_P_void() _get_tarval_P_void()
+static INLINE tarval *
+_get_tarval_reachable(void) {
+ return tarval_reachable;
+}
+
+static INLINE tarval *
+_get_tarval_unreachable(void) {
+ return tarval_unreachable;
+}
+
+static INLINE int
+_is_tarval(const void *thing) {
+ return get_kind(thing) == k_tarval;
+}
+
+#define get_tarval_mode(tv) _get_tarval_mode(tv)
+#define get_tarval_bad() _get_tarval_bad()
+#define get_tarval_undefined() _get_tarval_undefined()
+#define get_tarval_b_false() _get_tarval_b_false()
+#define get_tarval_b_true() _get_tarval_b_true()
+#define get_tarval_unreachable() _get_tarval_unreachable()
+#define get_tarval_reachable() _get_tarval_reachable()
+#define get_tarval_P_void() _get_tarval_P_void()
+#define is_tarval(thing) _is_tarval(thing)