[Salem]

C doesn't care about file extensions.

FILE *in = fopen("file.dat","rb");
FILE *out= fopen("file.txt","w");

Then you can do whatever you want to read from the .dat file, and write to the .txt file.