We need a compiler that does:

     --error: a value of type "int (*)() C" cannot be assigned to an entity of type "int (*)()"

Or, which would be nice, maybe cl2000 can be told to do an implicit conversion?