Can you explain what you mean exactly regarding this augmenting this syntax?

I guess they are saying sizeof(...) should return the annotated static size rather than sizeof(int*) in this case