explicitly-typed function pointer problem