[CBMC-logoir[2].gif]