void smpi_exit(int);
int smpi_gettimeofday(struct timeval *tv, struct timezone *tz);
-void smpi_do_once_1(void);
+void smpi_do_once_1(const char *file, int line);
int smpi_do_once_2(void);
void smpi_do_once_3(void);
-#define DO_ONCE for (smpi_do_once_1(); smpi_do_once_2(); smpi_do_once_3())
+#define DO_ONCE for (smpi_do_once_1(__FILE__, __LINE__); smpi_do_once_2(); smpi_do_once_3())
#endif