former things are ~ 23_ISA_42_09 ~ former things are ~ 66_REV_21_04 ~
 the former things are ~ 23_ISA_42_09 ~ the former things are ~ 66_REV_21_04 ~