ah yes, I meant

struct S { int i; char c; };
S s = { 0 };
char * restrict cp = &s.c; *cp = 1;

your reasoning seems sane. thanks.