Simplify tracing for the x64 spec function.