Symbol: diag_read_file