Changed encoding for processor ABI.