>>180,187
N3290 5.2.10 [expr.reinterpret.cast] p6 より。
"The effect of calling a function through a pointer to a function type that is not the same
as the type used in the definition of the function is undefined."

これまで流れを見るに、これで理解してもらえるとは思わないが。