anchor.diff:  			method="doReleaseLock"/>
   
   		...
  -
   	</aop:aspect>
   ----
   
  
positive.code: We have already seen how to bind the returned value or exception value (using after
  returning and after throwing advice). To make argument values available to the advice
  body, you can use the binding form of `args`. If you use a parameter name in place of a
  type name in an args expression, the value of the corresponding argument is
  passed as the parameter value when the advice is invoked. An example should make this
  clearer. Suppose you want to advise the execution of DAO operations that take an `Account`
  object as the first parameter, and you need access to the account in the advice body.
  You could write the following:
  
  
negative.code: 		public void doAccessCheck() {
  			// ...
  		}
  	}
  ----
  [source,kotlin,indent=0,subs="verbatim,quotes",role="secondary"]
  