random.f_x86_64