(* Test: large INTEGER constants *)

INTERFACE Test;

TYPE
 Bits29 = BITS 29 FOR [0..16_1FFFFFFF];

END Test.