and make mention ~ 01_GEN_40_14 ~ and make mention ~ 23_ISA_48_01 ~
 and make mention of ~ 01_GEN_40_14 ~ and make mention of ~ 23_ISA_48_01 ~