#include <stdio.h>
int main(void)
{
int i;
i=1;
printf("The first positive integer is: %d\n",i);
}