- #include "harness/trace.h" 
-   
- #include <stdarg.h> 
- #include <stddef.h> 
- #include <stdio.h> 
- #include <sys/types.h> 
-   
- int harness_debug_level = 4; 
-   
- void debug_printf(const char* fmt, const char* fn, const char* fmt2, ...) { 
-     va_list ap; 
-   
-   
-   
- } 
-   
- void panic_printf(const char* fmt, const char* fn, const char* fmt2, ...) { 
-     va_list ap; 
-   
-     FILE *-  fp  = fopen("dethrace.log", "w");
-   
-   
-     if (fp != NULL) { 
-     } 
-   
-     if (fp != NULL) { 
-     } 
-     if (fp != NULL) { 
-     } 
- } 
-   
- void debug_print_vector3(const char* fmt, const char* fn, char* msg, br_vector3* v) { 
-     printf("%s %f, %f, %f\n",-  msg ,-  v ->- v [0],-  v ->- v [1],-  v ->- v [2]);
 
- } 
-   
- void debug_print_matrix34(const char* fmt, const char* fn, char* msg, br_matrix34* m) { 
-     printf("matrix34 \"%s\"\n",-  msg );
 
-     for (int i = 0; i < 4; i++) { 
-         printf("  %f, %f, %f\n",-  m ->- m [- i ][0],-  m ->- m [- i ][1],-  m ->- m [- i ][2]);
 
-     } 
- } 
-   
- void debug_print_matrix4(const char* fmt, const char* fn, char* msg, br_matrix4* m) { 
-     printf("matrix34 \"%s\"\n",-  msg );
 
-     for (int i = 0; i < 4; i++) { 
-         printf("  %f, %f, %f, %f\n",-  m ->- m [- i ][0],-  m ->- m [- i ][1],-  m ->- m [- i ][2],-  m ->- m [- i ][3]);
 
-     } 
- } 
-   
- // int count_open_fds(void) { 
- //     DIR* dp = opendir("/dev/fd/"); 
- //     struct dirent* de; 
- //     int count = -3; // '.', '..', dp 
-   
- //     if (dp == NULL) 
- //         return -1; 
-   
- //     while ((de = readdir(dp)) != NULL) 
- //         count++; 
-   
- //     (void)closedir(dp); 
-   
- //     return count; 
- // } 
-