MODULE Foo EXPORTS Main;

FROM Test IMPORT checkI, done;

TYPE
  Class = BITS 2 FOR [-1 .. 1];
  Bug = RECORD b: Class END;

VAR
  B: Bug;

BEGIN
  FOR i := FIRST(Class) TO LAST(Class) DO
    B.b := i;
    checkI (B.b, i); END;

  done ();
END Foo.