$ acl2 <<< '(cw "Hello.")'