SE547: CBMC: Next week [18/19]

Proof-carrying code.