Slide 12 of 53
Notes:
The c_model code for xxand2 exists in some form that is implementation dependent. This code could be in a library of other models written in C that may be similarly accessed.
[Bhasker95]