<> <> { OPEN CB: CodeB; NULL} { m: CB.Membership _ ALL[ { FOR c: CHAR IN ['a .. 'z] DO m[c] _ _ m['_] _ { FOR c: CHAR IN ['0 .. '9] DO m[c] _ { FOR c: CHAR IN ['A .. 'Z] DO _ _ { code: CB.Code _ CB.CreateCode[m,