Constant GET_NUM_DEVICES 

pub const GET_NUM_DEVICES: u64 = 0x256704ce2f8097af;