public void execfile(java.io.InputStream s, String name) {
   setState();
   Py.runCode((PyCode) Py.compile_flags(s, name, "exec", cflags), locals, locals);
   Py.flushLine();
 }
 /** Execute a string of Python source in the local namespace */
 public void exec(String s) {
   setState();
   Py.exec(Py.compile_flags(s, "<string>", "exec", cflags), locals, locals);
   Py.flushLine();
 }