pub broadcast proof fn layout_of_unit_tuple()
size_of::<()>() == 0,
align_of::<()>() == 1,
Size and alignment of the unit tuple (Reference).