Constant IMAGE_FILE_MACHINE_IA64 

pub const IMAGE_FILE_MACHINE_IA64: u32 = 512;