# company name 'synopsys'
berkeley-abc binary: spelling-error-in-binary synopsys synopsis [usr/bin/berkeley-abc]
