# CBMC starter kit reference guide