rex/doc/design/Execution_Flow.png