Yes Nidal we can provide a structure prototype. But here, this will not resolve the issue because those are not only mutually dependant structures but also recursive structures.
It they had fields that point to each other it ok. But the case you cited is not permitted because the compiler would never be able to know how many bytes to reserve for such variables. (infinite nesting!)