read_array_int and read_array_str