Implement C23 <stdbit.h>