this.args = fieldnames.length;
private vRecordProc(String name, String[] fieldnames) {    this.name = vString.New(name);    this.img = this.name.surround("record constructor ", "");    this.fieldnames = fieldnames;    this.varnames = new String[fieldnames.length];    for (int i = 0; i < varnames.length; i++) {	varnames[i] = name + "." + fieldnames[i];    }}