@FILES
  {"bit-vector"; "The BitVector structure";}
@SIGNATURE BIT_VECTOR "bit-vector" {
  @VALS 
    getBits
    equal
    eqBits
    extend0
    extend1
    lshift
    fromString
    rshift
    bits
    notb
    orb
    andb
    toString
    xorb
    isZero
}
@STRUCTURE BitVector "bit-vector" BIT_VECTOR
