TYPE

T$1$ : int T$2$ : array $[2][3][5]$ of T$5$ T$3$ : array $[2][3][5]$ of T$6$

T$4$ : structure $\{$a: boolean;$\}$ T$5$ : structure $\{$a: pointer to T$2$; b: int;$\}$ T$6$ : structure $\{$b: pointer to T$3$; a: T$1$;$\}$

T$7$ : structure $\{$

x: function of T$6$ returns int; $\}$;

T$8$ : structure $\{$

y: function of T$5$ returns T$1$; $\}$;