Just test for learning how to use Coverity Scan