be as when ~ 23_ISA_10_18 ~ be as when ~ 23_ISA_13_19 ~ be as when ~ 23_ISA_29_08 ~ ~~
 shall be as when ~ 23_ISA_10_18 ~ shall be as when ~ 23_ISA_13_19 ~