#include <stddef.h> template <bool> struct StaticAssert; template <> struct StaticAssert<true> {}; struct MyPOD { int a; int b; int c; }; StaticAssert<(offsetof(MyPOD, a) == 0)> s;