Tweak doc

README.md

@@ -79,8 +79,11 @@ To evaluate this artifact, we propose the following steps:
    have also setup [public chat room](https://discord.gg/jQezqzJZ) to
    accommodate collaboration with others.
 5. Check that the development supports extraction of examples to
-   OCaml, which can actually be executed. Specifically, run the
-   following commands in the project root directory.
+   OCaml, which can actually be executed. The script below runs "echo"
+   example (in the tech report) which takes (scanf) integers
+   indefinitely, and when you put `-1`, it will print the integers you
+   entered so far in a reverse order. You can run the scripts as
+   follows in the project root directory.
    - "cd ./extract; ./run.sh; cd .." extracts and runs examples
      written in EMS (abstractions and implementation of Echo, etc)
      using the extraction mechanism of Interaction Trees.

imp/compiler_extract/run.sh

@@ -34,7 +34,7 @@ mv echo_main.s bin/echo_main.s
 mv client.s bin/client.s
 gcc -m64 -no-pie -o bin/echo_all bin/stack.s bin/echo.s bin/echo_main.s bin/client.s bin/print.s bin/scan.s
 
-echo "Run program: echo example (on the technical report)"
+echo "Run program: echo example (on the technical report)."
 #read input
 bin/echo_all
 # echo "(Echo) Input integers, -1 to stop:"