Constant CCODE::IMAGE_FILE_MACHINE_IA64

pub const IMAGE_FILE_MACHINE_IA64: u32 = 512;