(
A[];
B[3];
C[a:k];
)