public SnapshotReader(Win32MemoryMappedFile file)
 {
     Contract.Requires(file != null);             //TODO: && file.CanRead ?
     m_file = file;
 }
		public SnapshotReader(Win32MemoryMappedFile file)
		{
			Contract.Requires(file != null); //TODO: && file.CanRead ?
			m_file = file;
		}