writeExecTrace bug fixed