/* Header file ExternalFunc2.h for ExternalFunc2 */
double ExternalFunc2(double);