pub fn left_shift_with_64(a: u1, b: u8, c: u64) -> u64
Left-shift a 64-bit value by the given amount. Bits are filled with the given bit.