shall return even ~ 23_ISA_10_21 ~ shall return even ~ 23_ISA_19_22 ~