Something wrong in my program

[Joona I Palaste]

Again, you have a terminology problem. Type compatibility is a concept
defined by the standard in a different way than you're using it here.

Pointers to void can be converted both explicitly and implicitly to and
from pointers to pointers to functions, for the reason you have mentioned
above.

That's what I wanted to know. Thanks, Dan.