Add annotations for tracer.c file