list = [1 2 3 4 5 6 7 8 9 ...] second = &list.get_ref(2).assume1() second.debug() *second = 24 second.debug() list.debug()