public void execfile(java.io.InputStream s, String name) {
   setState();
   Py.runCode(Py.compile_flags(s, name, "exec", cflags), locals, locals);
 }