CHECK: Prefer using the BIT_ULL macro