r.F

Read(807) Label: record, value,

r is a record, and r.F is the value of field F of record r .

Besides using r.F to indicate field value, you can also use r.#i, of which #i means the ith field.