args[i] = args[i].toArgValue().copy();
args[i] = args[i].toValue().toArgValue();
  public final Value []setFunctionArgs(Value []args)  {    Value []oldArgs = _functionArgs;    for (int i = 0; args != null && i < args.length; i++) {      // php/3715      // XXX: count the copies      args[i] = args[i].toArgValue().copy();    }    _functionArgs = args;    return oldArgs;  }