Symbol: diff_read_64