smatch script works with unicode