_ : 24;
volume_serial_number : 64 : littleendian;
checksum : 32 : littleendian; (* Boot sector checksum. *)
- code : 8 * 426 : bitstring; (* Boot code. *)
+ _ : 8 * 426 : bitstring; (* Boot code. *)
0x55AA : 16 } -> (* End of bootsector magic. *)
let blocksize = bytes_per_sector * sectors_per_cluster in
| { attr_type : 32 : littleendian;
attr_size : 32 : littleendian;
0 : 8; (* means attribute is resident *)
- pad : 24*8 - 8 - 64 : bitstring; (* actually meaningful *)
+ _ : 24*8 - 8 - 64 : bitstring; (* actually meaningful *)
attr : (Int32.to_int attr_size - 24) * 8 : bitstring;
rest : -1 : bitstring } ->
highest_vcn : 64 : littleendian; (* size in clusters - 1 *)
0x40 : 16 : littleendian; (* mapping pairs offset *)
0 : 8; (* assume not compressed *)
- pad : 40 : bitstring; (* padding *)
+ _ : 40 : bitstring; (* padding *)
allocated_size : 64 : littleendian; (* allocate size on disk *)
data_size : 64 : littleendian; (* byte size of the attribute *)
initialized_size : 64 : littleendian;
*)
| { attr_type : 32 : littleendian;
attr_size : 32 : littleendian;
- pad : (Int32.to_int attr_size - 8) * 8 : bitstring;
+ _ : (Int32.to_int attr_size - 8) * 8 : bitstring;
rest : -1 : bitstring } ->
if !debug then