nor cast a ~ 12_2KI_19_32 ~ nor cast a ~ 23_ISA_37_33 ~
 nor cast a bank ~ 12_2KI_19_32 ~ nor cast a bank ~ 23_ISA_37_33 ~