Edit File: print_int_vector.3.gz