pub type PROPERTYORIGIN = i32;