smatch - rev#1