/* With smpiff, the following weak symbols are replaced by those in libf2c */
int __attribute__((weak)) xargc;
char** __attribute__((weak)) xargv;
/* With smpiff, the following weak symbols are replaced by those in libf2c */
int __attribute__((weak)) xargc;
char** __attribute__((weak)) xargv;
xbt_cfgelm_double, &default_threshold, 1, 1, NULL,
NULL);
xbt_cfgelm_double, &default_threshold, 1, 1, NULL,
NULL);