RETURN; RETURN value;
Оператор позволяет завершить выполнение процедуры (первый вариант) или функции (второй вариант). Тип результата value должен быть преобразуем к формальному типу функции.