Aclaración sobre la semántica de ordenamiento de campos de bits en C

Tengo problemas para entender el significado exacto de un párrafo del borrador de la norma C99 (N1256) sobre campos de bits (6.7.2.1:10):

6.7.2.1 Especificadores de estructura y unión

[...]

Semántica

[...]

Una implementación puede asignar cualquier unidad de almacenamiento direccionable lo suficientemente grande como para contener un campo de bits. Si queda suficiente espacio, un campo de bits que sigue inmediatamente a otro campo de bits en una estructura se empaquetará en bits adyacentes de la misma unidad. Si no queda espacio suficiente, si un campo de bits que no se ajusta se coloca en la siguiente unidad o se superpone a las unidades adyacentes se define por la implementación.El orden de asignación de los campos de bits dentro de una unidad (orden alto a orden bajo o orden bajo a orden alto) está definido por la implementación. La alineación de la unidad de almacenamiento direccionable no está especificada.

La oración enfatizada extiende mis habilidades en inglés al límite: no entiendo si se refiere a campos de bits individuales dentro de una unidad, o al ordenamiento de bits dentro de los campos de bits individuales o algo más.

Trataré de aclarar mi duda con un ejemplo. Supongamos que los ints sin firmar son de 16 bits, que la implementación elige un int sin signo como la unidad de almacenamiento direccionable (y que los bytes tienen 8 bits de ancho), y no surgen otros problemas de alineación o relleno:

struct Foo {
    unsigned int x : 8;
    unsigned int y : 8;
};

por lo tanto, asumiendox yy los campos se almacenan dentro de la misma unidad, ¿qué es la implementación definida de acuerdo con esa oración? Como lo entiendo, significa que dentro de esa unidad int sin firmar,x se puede almacenar en una dirección más baja quey o viceversa, pero no estoy seguro, ya que intuitivamente pensaría que si no se superponen campos de bits con dos unidades de almacenamiento subyacentes, el orden de declaración impondría el mismo orden para los campos de bits subyacentes.

Nota: Me temo que me estoy perdiendo alguna sutileza de terminología (o, peor, una técnica), pero no pude entender cuál.

Cualquier puntero apreciado. ¡Gracias!

Respuestas a la pregunta(3)

Su respuesta a la pregunta