Test:
PROC [] = {
am ← Create[4];
am[0][0] ← 0; am[0][1] ← 1; am[0][2] ← 1; am[0][3] ← 0;
am[1][0] ← 0; am[1][1] ← 0; am[1][2] ← 0; am[1][3] ← 1;
am[2][0] ← 0; am[2][1] ← 0; am[2][2] ← 0; am[2][3] ← 1;
am[3][0] ← 1; am[3][1] ← 0; am[3][2] ← 0; am[3][3] ← 0;
amSeq ← CreateAMSeq[am];
UpdateAMSeq[amSeq, 0];
UpdateAMSeq[amSeq, 1];
UpdateAMSeq[amSeq, 3];
UpdateAMSeq[amSeq, 0];
UpdateAMSeq[amSeq, 1];
UpdateAMSeq[amSeq, 3];
UpdateAMSeq[amSeq, 0];
UpdateAMSeq[amSeq, 1];
ERROR
};