pub const MAX_FILE_BYTES: u64 = _; // 2_147_483_648u64
The biggest file read, 2 GiB: a bigger one refuses the export, since it can’t be said to hold nothing.