CPointerMember[obj,mem]is a symbolic representation of access from a pointer to a struct.
To use SymbolicC you first need to load the package:
This extracts an element from a pointer to a struct:
Here a cast is used to move the object to the correct type:
ToCCodeString CMember CStruct CTypedef