void __exit nfnetlink_exit(void) 
static void __exit nfnetlink_exit(void) 
void __exit nfnetlink_exit(void){	printk("Removing netfilter NETLINK layer.\n");	sock_release(nfnl->sk_socket);	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/395dde20fb06153feb65d79d7fe83eda41bf50e7/nfnetlink.c/buggy/net/netfilter/nfnetlink.c