-- -*- M2-comint -*- hash: 13816228907616404766

i1 : x = int 5

o1 = 5

o1 : ForeignObject of type int32

i2 : ptr = address x

o2 = 0x7728fbd04730

o2 : Pointer

i3 : *ptr = int 6

o3 = 6

o3 : ForeignObject of type int32

i4 : x

o4 = 6

o4 : ForeignObject of type int32

i5 : *ptr = 7

o5 = 7

o5 : ForeignObject of type int32

i6 : x

o6 = 7

o6 : ForeignObject of type int32

i7 : 
