cbmc: pushing a simple example, to run on Jenkins.