A bit vector library and corresponding macros for caterwaul - View it on GitHub