soot_rb tracing works!