* of x_2 is the same as of x. Hence x_3 has all these highest bits
* cleared. If a == 0, then we are sure there is no zero byte in x.
*/
* of x_2 is the same as of x. Hence x_3 has all these highest bits
* cleared. If a == 0, then we are sure there is no zero byte in x.
*/