x86_64: Random.so
