The semantics of the ``accesses'' and ``updates'' declaration in asms depends on whether the asm is used as a sub-asm or as a function. In the following, the semantics of these constructs in each of these cases is explained briefly.
