Added a small example of bitvectors in the statics.