path: root/Test/bitvectors/bv3.bpl

type bv;
type bv16;