printf( "HI %d", (int)5 );