Update x86trace.c