Введение
ForthOS намеренно отходит от направления ANSI Forth в реализации «локальных переменных». В ForthOS правильнее назвать объект «локальными константами». Примеры, вероятно, самый простой способ понять объект.
Локальные константы

  : sum+1 { a1 a2 } a1 a2 + { sum } sum 1+ ;

Скобки указывают ячейки в стеке. Каждая ячейка выталкивается из стека, и ее значение становится доступным как именованный аргумент. Объем таких имен находится в конце функции. Как видно из примера, можно добавлять последовательные имена, поскольку идентифицируются дальнейшие константные значения.
Возвращаемые значения (с соблюдением форматирования стека)

  : sum+1 { a1 a2 - result } a1 a2 + { sum } sum 1+ ;

Это определение очень похоже на предыдущее, за исключением того, что в исходном определении локальных значений добавлен «результат». «result» не является идентификатором в области действия функции, однако ForthOS записывает, что эта функция приняла два аргумента и возвращает одно значение. При выходе из функции, если стек не изменился ожидаемым образом, выдается исключение.
Переменные форматы возврата

  : возможно { val - val  'T | F } val 0> if val 1+ true
          else false then ;

В этом варианте «val 'T | F» указывает на то, что функция возвращает один или два аргумента. Фактические значения не применяются.