VUID_SEG_NULL
if ((seg = vuid_find_seg(state, vuid_id_addr(id))) == VUID_SEG_NULL)
Vuid_seg *new_first_seg = VUID_SEG_NULL;
register Vuid_seg *new_previous_seg = VUID_SEG_NULL;
if (new_first_seg == VUID_SEG_NULL)
if (new_previous_seg != VUID_SEG_NULL)
new_seg->next = VUID_SEG_NULL;
return (VUID_SEG_NULL);
VUID_SEG_NULL) {