- int suspended;
-
- int src; /* saving source id for tracing */
- int dst; /* saving dest id for tracing */
-
- char* src_name; /* saving source id for tracing */ // ADDED BY DAVID
- char* dst_name; /* saving dest id for tracing */ // ADDED BY DAVID
-