/*@ dummy comment @*/
int foo() {
  int i = 0;
  
  return i++;
}