|
@@ -79,7 +79,7 @@ END GetTable;
|
|
|
|
|
|
PROCEDURE Initialize-;
|
|
PROCEDURE Initialize-;
|
|
TYPE BiosEBDA = POINTER {UNSAFE} TO RECORD val: INTEGER END;
|
|
TYPE BiosEBDA = POINTER {UNSAFE} TO RECORD val: INTEGER END;
|
|
-VAR address := 0E0000H: ADDRESS; size := 020000H: SIZE; biosEBDA: BiosEBDA;
|
|
|
|
|
|
+VAR address := 0E0000H: ADDRESS; size := 020000H: SIZE; biosEBDA {UNTRACED}: BiosEBDA;
|
|
|
|
|
|
BEGIN {UNCOOPERATIVE, UNCHECKED}
|
|
BEGIN {UNCOOPERATIVE, UNCHECKED}
|
|
WHILE size # 0 DO
|
|
WHILE size # 0 DO
|