adding smatch