and all our ~ 04_NUM_32_26 ~ and all our ~ 23_ISA_64_06 ~