#include <inttypes.h>
...
typedef union {
uint64_t val8;
uint32_t val4[2];
} block;
...
uint8_t * readdata;
// Выделяем память под массив байт readdata и читаем в него 8 байт из файла (опущено)
....
block * b = (block*)readdata;
// После этого в
// b->val8 - 64 битовый блок
// b->val4[0] и b->val4[1] - два 32 битовых блока
@echo off
set "filesrc=1.txt"
set "filedst=filedst.txt"
for /f "usebackq tokens=1,2,* delims=@:" %%a in ("%filesrc%") do (
1>>"%filedst%" echo.%%~a %%~b %%~c
)