cbmc profiles