MODULE Test13;

VAR
  ch, cap, res : CHAR;

BEGIN
  ch := "a";
  cap := "A";
  res := CAP(ch);
  ASSERT(res = cap);
END Test13.

Проверка функции CAP