The only operations that can be applied to addr values are
comparisons for equality or inequality, using == and !=.
However, you can also operate on addr values using
to mask off lower address bits, and
to convert an addr to a net (see below).