Added PRTS x86-64 translation