pub const EXPORT_NAME_SCAN: u64 = _; // 65_536u64
Bytes of a STEP file read for its export name: the HEADER comes first.