1 
2 int read_bits(FILE *f, INT32 *bits, int len);
3 void write_bits(FILE *f, INT32 *bits, int len);
4