Macro try_open_atomic_update_in_proof 

macro_rules! try_open_atomic_update_in_proof {
    ($($tail:tt)*) => { ... };
}