const
  k = 5;
  m : integer = 5;           {"Статическая" переменная}
 
var 
  n  : integer;
  Ak : array [1..k] of ... ; { так можно }
  Am : array [1..m] of ... ; { так - нельзя }  
  An : array [1..n] of ... ; { так - тоже }  
 
...

var 
  gd, gm : integer;
  initgraph(gd, gm, ''); {В разделе описаний - только описания}
 
...

var 
  i,j : integer;
 
begin  
var 
  gd, gm : integer;      { Обратная ситуация - в Паскале нельзя включать описания в раздел кода}
  initgraph(gd, gm, ''); 
...

var
  i, j : integer;
  A, B : array [1...10] of integer;   {Много точек!}
  ...
 
begin
  ...
 
  {Это - верно}
  i    := j;       
  A    := B;  
 
  {Верно при правильных значения i и j}     
  A[i] := B[j]; 
  A[i] := j;
  i    := B[j];   
 
  {А вот так - всегда неверно.}
  A    := i;
  j    := B;
  ...
end.  

writeln(x:integer); {Описание переменной должно быть в блоке var}
writeln(x := 2); {Нельзя присваивать переменной значение в аргументе функции}
readln(2); {В качестве аргумента должна быть переменная}