ref: 39e28f9f1ae399b12045903320961944d300527a
parent: 4416b448de38123181d3ac6912ad413a938f0d53
parent: 79afb5eb416ff7adc862bfe28aac3c69f173efdd
author: Johann <johannkoenig@google.com>
date: Fri Jun 13 06:51:49 EDT 2014
Merge "Use lrand48 on Android"