decl A: ubit<32>[8];
decl B: ubit<32>[8][8];
decl C: ubit<32>[8][8][8];

A[0] := 1;
B[0][0] := 1;
C[0][0][0] := 1;