.
bonus code for magic red casino cbmc