The read-only balance attribute of an IDL account gives rise to the Common Lisp generic functions:
op:balance
If we had omitted thereadonly keyword from the definition of thebalance attribute, the mapping would have introduced an additional generic setter function:
(setf op:balance)