Si possono mettere in un file più tipi di record diversi?