Bit vector c free for download