Modified bitset.h, buffer.h