Checksum: aa92e304a15280698ec9f7603d20e2fea03af3760b2beb32b70632a3cab9e2bc (page 1)

• acl2/8.6+dfsg-2/books/demos/include-raw-examples/mem-access-unsound/mem.lisp
• acl2/8.6+dfsg-3/books/demos/include-raw-examples/mem-access-unsound/mem.lisp