pub fn bbref_to_u32(r: &BasicBlock) -> u32