diff -r 000000000000 -r 6474c204b198 other-licenses/7zstub/src/Common/Random.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/other-licenses/7zstub/src/Common/Random.h	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,16 @@
+// Common/Random.h
+
+#ifndef __COMMON_RANDOM_H
+#define __COMMON_RANDOM_H
+
+class CRandom
+{
+public:
+  void Init();
+  void Init(unsigned int seed);
+  int Generate() const;
+};
+
+#endif
+
+