Working snapshot of #258.
Renamed Random.ab to random.ab. #53