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