Declarations .

T array [ num ] of T₁

T.type = array(num.val, T ₁ .type)

T.width = num.val x T₁ .width

T T₁

T.type = pointer(T ₁ .type)

T.width = 4

This is the continuation of the example in the previous slide..