x86_64: splittable_random.cmxs
