.
free v slots btor