Как создать метку и переходить по меткам нет в учебниках

var a,b:integer;
    Label lb1;//объявляем метку,можно несколько через запятую
begin
  lb1://описываем действие по метке
  write('a=');readln(a);
  write('b=');readln(b);
  writeln('a*b=',a*b);
  if a*b>0 then goto lb1;//если произведение положительное, повторяем
  readln
end.

var a,b:integer;
    Label lb1;//объявляем метку,можно несколько через запятую
begin
  lb1;//просто переход
  write('a=');readln(a);
  write('b=');readln(b);
  writeln('a*b=',a*b);
  if a*b>0 then goto lb1;//если произведение положительное, повторяем
  readln
end.

{область описания процедур системы проверки}
var
label metka;////////////////////////////////////////////////////////
..........
процедура "x=0";
начало
goto metka;
конец;
процедура "x=1";
начало
x:=1;
goto metka;
конец;
{/область описания процедур системы проверки}
процедура "проверка";
начало
если x=0 то выполнить процедуру "предписание"// где "предписание" либо символьная переменная, либо целочисленная для массива процедур
конец
процедура "система условий"
начало
"предписание":="x=0";
проверка;
x:=x-abs[x];
"предписание":="x=1";
проверка;
x:=-1;
metka;/////////////////////////////////////////////////////////////////////
конец;

var ProcVariable:procedure;
 
procedure x0;
begin
end;
 
procedure x1;
begin
  x:=1;
end;
 
procedure Check;
begin
  if x=0 then ProcVariable();
end;
 
begin
  ProcVariable:=x0;
  Check;
  x:=x-abs[x];
  ProcVariable:=x1;
  Check;
  x:=-1;
end;

goto metka;