C8cases = HOL_C8 (* + RA_IR *)