use tools.trace 0.7.6: