#include <stdio.h>
int x = 0;

int incrX( ) { x++; return x; }

int main() {
  int x = 10, y;
  y = incrX();
  printf("%d  %d  %d\n", x, y, incrX());
  return 0;
}