The Pascal compiler company
6.6.6.4 For pred(x), the function yields a value whose ordinal number is one less than that of x, if such a value exists. It is an error if such a value does not exist.
This error is reported if range checking is enabled.