Please run `astyle -A10 lib/hashbits.cc` to get the right formatting here