void test_value(void);