CodeBTest.cm

{ OPEN CB: CodeB; NULL}

{ m: CB.Membership ← ALL[S0]; y, f: CHAR; q: CB.SubstitutionFunction ← CodeBImpl.qOctal; NULL}

{ FOR c: CHAR IN ['a .. 'z] DO m[c] ← S2 ENDLOOP}

← m['←] ← S1

{ FOR c: CHAR IN ['0 .. '9] DO m[c] ← S1 ENDLOOP}

{ FOR c: CHAR IN ['A .. 'Z] DO q[c] ← LOOPHOLE[Rope.FromChar[c - 'A + 'a]] ENDLOOP}

← y ← '←

← f ← 'x

{ code: CB.Code ← CB.CreateCode[m, y, f, q]; NULL}