pub broadcast proof fn align_nonzero<T>()
align_of::<T>() > 0,
The alignment is at least 1 (reference).