add isl_set_max_val