(* Test: based constants & BITS FOR... *)

MODULE Main;

TYPE
  T = BITS 4 FOR [8_0..8_17];

CONST
  c: T = 8_13;
  d    = 8_13;

VAR
  x: T;

BEGIN
  x := d;
END Main.