https://cascades-sjtu.github.io/posts/tracer-rtfsc-2/