A reference to a variable or a record field can be created
using the unary prefix operators ref or val
(the last does not actually create a reference type but
instead copies its operand). Such references can then be used in
an expression anywhere the operand could appear. See § 3.8, page 
.