throws Throwable
throws IOException
  public static int printf(Env env, String format, Value []args)    throws Throwable  {    Value str = sprintf(format, args);    str.print(env);    return str.strlen();  }