Add rans64 example for 64-bit targets.