* interpreters/s9/s9.c: -parse_c now works
* include/stdio.h: misc
* interpreters/Interpreter_extra.tex.nw: