/* Header file ExternalFunc1_ext.h for ExternalFunc1 function */
double ExternalFunc1_ext(char*,double);
