- char *filename = TRACE_get_filename();
- if (!filename) {
- THROW0(tracing_error, TRACE_ERROR_START,
- "Trace filename is not initialized.");
- return 0;
- }
- FILE *file = fopen(filename, "w");
- if (!file) {
- THROW1(tracing_error, TRACE_ERROR_START,
- "Tracefile %s could not be opened for writing.", filename);
- } else {
- TRACE_paje_start(file);
- }