.format.header.size: Format a possibly missing TRK header size for an error message.
Description
Format a possibly missing TRK header size for an error message.
Usage
.format.header.size(value)
Arguments
- value
integer vector, the result of a readBin call, which is
empty when the file ended before the requested position.