I20.1: Angina pectoris with documented spasm