; cert-flags: ? t :ttags (memory)
(certify-book "memory-raw" ? t :ttags (memory))