--- a/kernel/eka/debug/crashMonitor/inc/scmbytestreamutil.inl	Tue Jul 06 15:50:07 2010 +0300
+++ b/kernel/eka/debug/crashMonitor/inc/scmbytestreamutil.inl	Wed Aug 18 11:08:29 2010 +0300
@@ -62,7 +62,9 @@
 	 */		
 	inline TUint64 TByteStreamReader::ReadInt64()
 		{
-		return  MAKE_TUINT64(ReadInt(), ReadInt()) ;
+		TUint32 high = ReadInt();
+		TUint32 low = ReadInt();
+		return  MAKE_TUINT64(high, low) ;
 		}
 	
 	/**