void test_udp_finalize(void) { network_module_finalize(); }
static void test_socket_finalize(void) { network_module_finalize(); }