Multimodal ultrasound imaging for patent foramen ovale and pulmonary arteriovenous malformation in patients with cryptogenic stroke or migraine: A prospective diagnostic study | Synapse