Intel Itanium architecture software developer's manual (Intel, 2000)