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