experimenting with coverity scan