IF (A==19) 
{
  ....
}

--- стек пуст ---
1. PUSH XXX:   << записываем в стек АДРЕС ПЕРЕХОДА если условие не выполнится
2. PUSH A       << записываем пременную A в стек
3. PUSH 19      << записываем константу 19 в стек
4. SUB           << вычитаем A-19
5. IF(==0)      << если равно нулю то ничего не делаем, если не равно то переходим по АДРЕСУ ПЕРЕХОДА на вершине стека  
--- стек пуст ---

PUSH 1 ; кладем 1 на вершину стека
PUSH 2 ; кладем 2  на вершину стека
ADD ; команда снимает две константы со стека и кладе результ на стек
POP ; снимает результат со стека. Стек чист

function Test(int y)
{
  int x=y+1;
  return x; 
}

function Main()
{  
   Test(int x=2);
}

 PUSH 2
 PUSH ADDR(x)
 DUP 
 STORE 
 PUSH  ADDR(y)
 STORE 
 PUSH 1
 PUSH @Y
 ADD
 PUSH  ADDR(X)
 DUP
 STORE  
 

ADD{
   int var1=Stack.Pop; 
   int var2=Stack.Pop;
   Stack.Push (var1+ var2);
}

PUSH   - поместить значение в стек
POP     - удалить значение с вершины стека
DUP     -  сделать копию верхнего элемента стека
SWAP    - обмен местами 2 верхних параметров в стеке
ROT     - циклически переставляет 3 верхних элемента в стеке по-часовой стрелке
OVER    - продублировать на вершину второй элемент стека
PICK    - дублирует n-ый элемент стека на вершину
ROLL    - циклически переставляет n-верхних элементов в стеке по-часовой стрелке
RVALUE - поместить в стек содержимое объекта, адрес которой лежит на вершине стека
LVALUE - поместить в стек адрес в памяти, по которому расположен объект лежащий на вершине стека
LET    - rvalue-значение на вершине стека размещено по адресу предоставленному lvalue- значением, следующим за ним в стеке

pop
pop

pop2