#include <stdio.h>
-BEGIN_RTS_PRIVATE
+#include "BeginPrivate.h"
void initProfiling1 (void);
-void freeProfiling1 (void);
void initProfiling2 (void);
void endProfiling (void);
+void freeProfiling (void);
extern FILE *prof_file;
extern FILE *hp_file;
#endif
-END_RTS_PRIVATE
+#include "EndPrivate.h"
#endif /* PROFILING_H */