> void print_type( int arg )
> { std::cout << "unsigned" << std::endl; }
> void print_type( unsigned int arg )
> { std::cout << "signed" << std::endl; }

Wait a sec, each of these is printing the opposite of what it's supposed
to print, right?

John