expressions
bitvec.h