pub const Header = extern structinstructions_len: u32string_bytes_len: u32extra_len: u32unused: u32 = 0We could leave this as padding, however it triggers a Valgrind warning because we read and write undefined bytes to the file system. This is harmless, but it's essentially free to have a zero field here and makes the warning go away, making it more likely that following Valgrind warnings will be taken seriously.
stat_inode: Io.File.INodestat_size: u64stat_mtime: i12839
40
41
42
43
44
45
46
47
48
49
50
51pub const Header = extern struct {
instructions_len: u32,
string_bytes_len: u32,
extra_len: u32,
/// We could leave this as padding, however it triggers a Valgrind warning because
/// we read and write undefined bytes to the file system. This is harmless, but
/// it's essentially free to have a zero field here and makes the warning go away,
/// making it more likely that following Valgrind warnings will be taken seriously.
unused: u32 = 0,
stat_inode: Io.File.INode,
stat_size: u64,
stat_mtime: i128,
}
The data stored at byte offset 0 when ZIR is stored in a file.