-- -*- M2-comint -*- hash: 1731230829183683930

i1 : ptr = voidstar address int 5

o1 = 0x7728fbefccb0

o1 : ForeignObject of type void*

i2 : int * ptr

o2 = 5

o2 : ForeignObject of type int32

i3 : 
