how to print the value of a pointer-to-function in C?