package java.lang {
dynamic public class Arguments {
  public var id: int;
  public var args: Array;
  public function Arguments(id: int, args: Array) {
    this.id = id;
    this.args = args;
    return;
  }
  public function toString__(): String {
    return this.id + " " + this.args;
  }
}
}
