407         let mut new_val: u64 = old_val.deposit(shift, len, val);  in set_tn_cfg_reg()  localVariable
624         let mut new_val = old_val.deposit(shift, len, val);  in set_cfg_reg()  localVariable
666         let new_val = val << shift;  in set_int_status_reg()  localVariable