Function extract_byte64 

pub fn extract_byte64(x: u64, b: usize) -> u32