#include <stdio.h>

int main(int argc, char *argv[])
{
   int x = 4;

   printf("%d\n", x++);    // Prints 4 (new value of x = 5)
   printf("%d\n", x++);    // Prints 5 (new value of x = 6)
}