pub type MACHINE_ATTRIBUTES = i32;