.
mono b black jacket cbmc