x64: more instructions