Debugger: hard-code tracePath so everyone can try it at home.