add isl_*_to_str