ForeignType * voidstar -- dereference a voidstar object

• Operator: *

• Usage:

  T * ptr

• Inputs:
  • T, a foreign type,
  • ptr, an instance of the type voidstar,
• Outputs:
  • a foreign object, of type T;

i1 : ptr = voidstar address int 5

o1 = 0x7728fbefccb0

o1 : ForeignObject of type void*

i2 : int * ptr

o2 = 5

o2 : ForeignObject of type int32