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 = 0x7fcba0c1e590 o1 : ForeignObject of type void*
i2 : int * ptr o2 = 5 o2 : ForeignObject of type int32