1   private@
2   
3   do
4       let mut x = 5
5       let x_ref = x@mut_ref
6       x_ref@value = 7
7       assert x == 7
8