pub broadcast proof fn align_of_u8()Expand description
ensures
align_of::<u8>() == 1,The alignment of u8 is 1, per type layout rules.
Note: This is not part of the alignment broadcast group due to proof time-out,
so it must be imported directly as needed.