(* Test: a simple subrange type in an interface *) INTERFACE Test; TYPE foo = [0..4]; END Test.