(miscellaneous.h) Add BIT32_ * macros