(* Test: importing an external subrange type *)

MODULE Main;

IMPORT Test;

VAR
  i: Test.foo;
  j: INTEGER;

BEGIN
  i := j;
END Main.