cuda.c: print_array_name: take isl_printer