The access and modify annotations list the objects that are accessed or modified by the library procedure. The lists may contain formal parameters from the procedure input list, or object names introduced by the on_entry and on_exit annotations.
