import		("libm3")
import		("bitvector")
implementation	("TestBitVector")
program		("TestBitVector")
