Fields

read_from_header: void,
read_header_but_use_provided: ?u64,
use_provided: ?u64,