Constant simics_api_sys::GBP_HEADER_SIZE

pub const GBP_HEADER_SIZE: u32 = 60;