// multi device support is not planned, so just set this to one
const int defaultDeviceId = 1;