Edit File: amd64.h