Create trace.rkt