#include <stdio.h>

void f( int i = 11 )
{
	printf( "%d\n", i );
}


int main( void )
{
	f( 12 );

	return 0;
}