source: CIVL/mods/dev.civl.abc/examples/side-effects/out_dereference.c

//====================== dereference.c =====================
int* test()
{
  int a;
  int* p = &(a);
  return p;
}
int main()
{
  int* ptr = test();
  *ptr;
}