PROCEDURE guardinsert(p: ANYPTR);
BEGIN
    IF p IS CorrectPtr THEN insert(p) END
END guardinsert;

/*
* To reduce the famous code bloat trouble due to the use of templates STLport grant
* a specialization of the vector container for pointer types. So all instanciations
* of vector with a pointer type will use the same implementation based on a vector
* of void*. If you prefer systematical instanciation turn on this macro.
* Remark: This feature is only implemented for compilers supporting partial template
* specialization.
*/

// #define _STLP_DONT_USE_PTR_SPECIALIZATIONS 1

AVC>PROCEDURE guardinsert(p: ANYPTR);
AVC>BEGIN
AVC>    IF p IS CorrectPtr THEN insert(p) END
AVC>END guardinsert;
AVC>

PROCEDURE guardinsert(p: ANYPTR);
BEGIN
   ASSERT(p IS CorrectPtr); insert(p)
END guardinsert;

PROCEDURE guardinsert(p: ANYPTR);
BEGIN
   WITH p: CorrectPtr DO insert(p) END
END guardinsert;

TYPE 
  TBytes    = ARRAY OF BYTE;

PROCEDURE LoadMemoryFromFile(CONST FileName: STRING; OUT Memory: TBytes);
VAR  FileHandle, MapHandle: THandle;
     FileSize, i: INTEGER;
     StartingAddressOfTheMappedView, p: PByte;
BEGIN
  Memory := NIL;
  StartingAddressOfTheMappedView := NIL;
  FileHandle := SysUtils.FileOpen(FileName, SysUtils.fmOpenRead);
  IF FileHandle = WINDOWS.INVALID_HANDLE_VALUE THEN EXIT;
  TRY
    FileSize := WINDOWS.GetFileSize(FileHandle, nil);
    MapHandle := WINDOWS.CreateFileMapping(FileHandle, nil, PAGE_READONLY, 0, FileSize, nil);
    IF MapHandle = 0 THEN RAISE Exception.Create('Failed to create file mapping!!!');
  FINALLY
    WINDOWS.CloseHandle(FileHandle);
  END;
  TRY
    TRY
      StartingAddressOfTheMappedView := WINDOWS.MapViewOfFile(MapHandle, WINDOWS.FILE_MAP_READ, 0, 0, FileSize);
      IF StartingAddressOfTheMappedView = NIL THEN EXIT;
    FINALLY
      WINDOWS.CloseHandle(MapHandle);
    END;
    SYSTEM.SetLength(Memory, FileSize);
    p := StartingAddressOfTheMappedView;
    FOR i := 0 TO FileSize - 1 DO BEGIN
      Memory[i] := p^;
      INC(p);
    END;
  FINALLY
    WINDOWS.UnmapViewOfFile(StartingAddressOfTheMappedView);
  END;
END;

MODULE TestTest;

  IMPORT StdLog, Files; 

  PROCEDURE Test* ();
  VAR  L: Files.Locator; f: Files.File; r: Files.Reader; b: BYTE;
  BEGIN
    L := Files.dir.This("C:\");
    IF L # NIL THEN 
      f := Files.dir.Old(L, "New Text Document.txt", FALSE);
      IF f # NIL THEN
        r := f.NewReader(NIL);
        IF r # NIL THEN 
          WHILE ~r.eof DO r.ReadByte(b); StdLog.Char(CHR(b)) END
        END;
        f.Close();
      END
    END
  END Test;

END TestTest.

СГ>MODULE TestTest;

СГ>  IMPORT StdLog, Files; 

СГ>  PROCEDURE Test* ();
СГ>  VAR  L: Files.Locator; f: Files.File; r: Files.Reader; b: BYTE;
СГ>  BEGIN
СГ>    L := Files.dir.This("C:\");
СГ>    IF L # NIL THEN 
СГ>      f := Files.dir.Old(L, "New Text Document.txt", FALSE);
СГ>      IF f # NIL THEN
СГ>        r := f.NewReader(NIL);
СГ>        IF r # NIL THEN 
СГ>          WHILE ~r.eof DO r.ReadByte(b); StdLog.Char(CHR(b)) END

А что произойдет здесь, если скажем при чтении наткнемся на bad block?

СГ>        END;
СГ>        f.Close();
СГ>      END
СГ>    END
СГ>  END Test;

СГ>END TestTest.
СГ>

void Test
{
    try
    {
        using (StreamReader sr = new StreamReader("C:/New Text Document.txt"))
        {
            int c;
            while ((c = sr.Read()) != -1)
                Console.WriteLine((char)c)
        }
    }
    catch
    {
        // do default work
    }
}