ILP_DEF_val_cast