Хотя и такое компилируется:
## Код:
```
MODULE Proba; 

PROCEDURE z*;
VAR a :ADDRESS; b :UNSIGNED32; c : SIZE; d : SIGNED32;
BEGIN
  a:=b; a:=c; a:=d;
  b:=a; b:=c; b:=d;
  c:=a; c:=b; c:=d;
  d:=a; d:=b; d:=c;
END z;

END Proba.
```

И только одна ошибка, на d:=b
Ясно теперь. Проблема в том, что я думал, что в сказку попал, а оказывается, не в сказку