pub type DEVICE_REGISTRY_PROPERTY = i32;