#include <stdio.h>

int f1() {   auto int a ; a = 0; return ++a ; }
int f2() { static int s ; s = 0 ; return ++s ; }

int f3() {   auto int a = 0 ; return ++a ; }
int f4() { static int s = 0 ; return ++s ; }

int main()
	{
	printf("f1(): %d %d %d\n", f1(), f1(), f1()) ;
	printf("f2(): %d %d %d\n", f2(), f2(), f2()) ;
	printf("f3(): %d %d %d\n", f3(), f3(), f3()) ;
	printf("f4(): %d %d %d\n", f4(), f4(), f4()) ;
	return 0 ;
	}