Constant CCODE::IMAGE_FILE_MACHINE_EBC

pub const IMAGE_FILE_MACHINE_EBC: u32 = 3772;