printf( "%d", 5 ); /*works fine*/