alpha_64: ReadKey.so
