IMAGE_FILE_MACHINE_IA64

const IMAGE_FILE_MACHINE_IA64 = 0x0200;