witness_lock_stack_free
witness_lock_stack_free(instance->li_stack);
static void witness_lock_stack_free(union lock_stack *stack);
witness_lock_stack_free(&stacks[i]);