:ubt! 1 (certify-book "audio") :u (certify-book "avl-rational-keys") :u (certify-book "binary-io-utilities") :u (certify-book "defstructure") :u (certify-book "doublecheck") :u (certify-book "image") :u (certify-book "list-utilities") :u (certify-book "io-utilities") :u (certify-book "list-theory") :u (certify-book "rand") :u (certify-book "testing") :u (certify-book "world") :u