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

int f(int n)
{
  int $sef$0 = f(n - 3);
  int $sef$1 = f($sef$0);
  int $sef$2 = f($sef$1);
  
  return $sef$2;
}
int main()
{
  int $sef$3 = f(10);
  
  return $sef$3;
}