fn prev_power_of_two(x: u64) -> u64