Type Alias magma_device_t 

pub type magma_device_t = u64;