void klist_add_head(struct klist * k, struct klist_node * n) 
void klist_add_head(struct klist_node * n, struct klist * k) 
void klist_add_head(struct klist * k, struct klist_node * n){	klist_node_init(k, n);	add_head(k, n);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d856f1e337782326c638c70c0b4df2b909350dec/klist.c/buggy/lib/klist.c