T * ptr
This is syntactic sugar for T value ptr (see ForeignType Pointer) for dereferencing pointers.
T value ptr
i1 : ptr = voidstar address int 5 o1 = 0xffffff926a2630 o1 : ForeignObject of type void*
i2 : int * ptr o2 = 5 o2 : ForeignObject of type int32