INTERFACE Issue297; TYPE INTEGER32 = [-16_7fffffff-1 .. 16_7fffffff]; END Issue297.