Constant IMAGE_FILE_MACHINE_EBC 

pub const IMAGE_FILE_MACHINE_EBC: u32 = 3772;