  
  [1m[4m[31m6. Really random sources[0m
  
  This  section  describes so called "real random sources". It is an extension
  to  the  library  mechanism  of  random source objects that uses the devices
  [1m/dev/random[0m  and [1m/dev/urandom[0m available on [1mLinux[0m systems (and maybe on other
  operating  systems) providing random numbers that are impossible to predict.
  The  idea  is  that  such  sources  of  random numbers are useful to produce
  unpredictable secret keys for cryptographic applications.
  
  
  [1m[4m[31m6.1 The functions[0m
  
  [1m[4m[31m6.1-1 RandomSource[0m
  
  [1m[34m> RandomSource( [0m[22m[34mr, dev[0m[1m[34m ) _____________________________________________[0mmethod
  [1mReturns:[0m  a real random source object or [22m[32mfail[0m
  
  The  first  argument  [22m[34mr[0m  must  be  the [1mGAP[0m filter [22m[32mIsRealRandomSource[0m and the
  second  either the string [1mrandom[0m or the string [1murandom[0m. A real random source
  object  is  created  that  draws  its random numbers from the kernel devices
  [1m/dev/random[0m   and  [1m/dev/urandom[0m  respectively.  Whereas  [1m/dev/random[0m  always
  provides random numbers of not guaranteed "quality", the device [1m/dev/urandom[0m
  measures its entropy and produces guaranteed unpredictable numbers. However,
  it might block until enough "random" events (like mouse movements) have been
  accumulated.
  
