# CBMC starter kit FAQ