1cc35e8261ead582f6bb343aa7810ca42c947058		'1cc35e8261ead582f6bb343aa7810ca42c947058' of https://github.com/xmos/lib_random
