VUID_VALUE_NULL
register Vuid_value *new_previous_val = VUID_VALUE_NULL;
new_seg->list = VUID_VALUE_NULL;
new_val->next = VUID_VALUE_NULL;
if (new_seg->list == VUID_VALUE_NULL)
if (new_previous_val != VUID_VALUE_NULL)
return (VUID_VALUE_NULL);