Function rotr 

pub fn rotr(value: b64, amount: b7) -> b64

Rotate the 64-bit value right by amount bits.

amount is 7 bits wide so that the complementary left shift 64 - amount fits. Callers pass constants in 1..64; there is no special case for 0.