ForeignType * voidstar -- dereference a voidstar object

Synopsis

• Operator: *

• Usage:

  T * ptr

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

Description

i1 : ptr = voidstar address int 5

o1 = 0x7febb969d2e0

o1 : ForeignObject of type void*

i2 : int * ptr

o2 = 5

o2 : ForeignObject of type int32