be cast out and ~ 23_ISA_34_03 ~ be cast out and ~ 30_AMO_08_08 ~
 cast out and ~ 23_ISA_34_03 ~ cast out and ~ 30_AMO_08_08 ~