Binary files postprocessing: record_length in integer*8