小议嵌套结构体大小

#pragma pack(8)
struct M
{
 short a;
 long  b;
};//sizeof M = 8

struct N
{
 short a;
 M m;
 INT64 b;
};
1.a->[0,1]
2.取M中最大的变量为long,大小为4,取min[4,pace(8)]=4,
(m.a)->[4,5] //以4字节对齐
(m.b)->[8,11] //以4字节对齐
3.min[__int64,8]=8
i->[16,23]

请问结构体N在内存中的分布是这样的吗？以及第二部中的取M中的
最大的变量做为对齐参数正确吗？

经本人自己验证,确实是这样存储的.