c - 同じメンバー型を持つ C 構造体は、メモリ内で同じレイアウトを持つことが保証されていますか?

Question

基本的に、私が持っている場合

typedef struct {
    int x;
    int y;
} A;

typedef struct {
    int h;
    int k;
} B;

と私は持ってA aいますが、C標準((B*)&a)->kは と同じであることを保証していa.yますか?