Diff smatch-1.72 with a smatch-9999

Thank you!