The actual value is smaller than the type. Pls Check #59 has comments on that. E.g:  here ` __builtin_popcountll(mask);` is used but only 4 bits need to be checked, right?.
