Case of characters used on output of boolean values

6.9.3.5 The case of each character of 'True' and 'False' used on output of values of boolean-type is implementation-defined.

Irie Pascal uses true and false on output of values of boolean type.