/* Doubles the value of a byte for values up to 127.  */
uint8_t _double_byte(uint8_t a)
/* Doubles the value of a byte for values up to 127.  */
uint8_t _double_byte(uint8_t a)
{
	return ((a<<1) ^ ((a>>7) * MASK_TWENTY_SEVEN));
}