#include <stdio.h>


static inline void foo(int s)
{
	s++;
}


int main(int argc, char** argv)
{
	int s=1;

	printf("%d:\t%d\n",__LINE__,s);
	foo(s);
	printf("%d:\t%d\n",__LINE__,s);
	foo(5);
	printf("%d:\t%d\n",__LINE__,s);
}