(in-package "ACL2")
(assert-event (identical-files-p "rewrite-dollar-log.txt" "rewrite-dollar-log.out"))