pub const DEVPROP_TYPE_UINT64: u32 = 9; // 9u32