pub fn pos_height_in_tree(pos: u64) -> u32