source: CIVL/mods/dev.civl.com/examples/languageFeatures/intToPointer.cvl@ cb4d4f4

#include<civlc.cvh>

int main(){
  int a, *p, t;
  void*q;

  p=&a;
  t=(int)p;
  p=(int*)t;
  $assert(p==&a);
  a=9;
  q=(void*)a;
  t=(int)q;
  $assert(t==a);
}