It's not quite that loose. Order of elements is guaranteed, same as any other structure members, and packing is guaranteed if the members fit. Whether bit fields can cross word boundaries, and endianness, are implementation defined, so bit fields are still not usable where there's any interoperability constraint.