Added to the uninterp and bitvec examples.