some hacks to simtrace