Corrected final machine instruction of x86-64 NTV