Почему ограничение типа не действует (Турбо Пасакаль)?

Описан тип х от 1..20, а вводить x больше 20 получается.



Программа выполняется, описано правильно.

Для перечислимого типа описание:
Type <имя типа>=(список констант)

Для ограниченного типа:
TYPE <имя типа>=константа1..константа2