Frequent microembolic signals detected by transcranial color-coded sonography in a patient with severe aortic stenosis: a case report | Synapse