void test_libsym1_1(void) { }
void test_libsym1_2(void) { }
void test_libsym1_3(void) { }