migrate to isl_val (v3)