pub type RawSideEffectHeader = [[u8; 4]; 3];