Appendix A. Example Usage

This appendix provides an example transcript from the protocol checker. It contains the following section:

Copyright © 2005, 2006, 2009 ARM. All rights reserved.ARM DUI 0305C
Non-Confidential