unify4.c

gcc-you can use this code to learn something about gcc, and inquire further into linux,

template <class T> void f (T);

void g ();
void g (int);

int
main ()
{
  f (g);			// ERROR - ambiguous unification
  return 0;
}