#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_mode(tv) _get_tarval_mode(tv)
#define get_tarval_bad() _get_tarval_bad()
#define get_tarval_undefined() _get_tarval_undefined()