instruction: give me the number of patients whose gender is m and procedure short title is 1 int mam-cor art bypass?
response: SELECT COUNT(DISTINCT demographic.subject_id) FROM demographic INNER JOIN procedures ON demographic.hadm_id = procedures.hadm_id WHERE demographic.gender = "M" AND procedures.short_title = "1 int mam-cor art bypass"