А оно компилируется в Блэкбоксе с этими метками и GOTO?
Если да, то это жестокая насмешка над Виртом со стороны Оминка...

upd. Только что попытался проверить в BB 1.5-- не компилируется...
## Код:
```
MODULE GotoTest;

IMPORT StdLog;

PROCEDURE Go*;
   VAR x : INTEGER;
   LABEL L1;
BEGIN
   x := 0;
   L1:   StdLog.Int(x);
         INC(x);
         GOTO L1;
END Go;

END GotoTest.
```
