et_list
struct et_list * _et_list = (struct et_list *) NULL;
/*@dependent@*//*@null@*/ struct et_list *next;