| ERROR | device is busy, device type: string, device name: string |
| CAUSE | The indicated device could not be allocated because it is allocated to another session, or no device was named, or all devices of the requested type are busy. |
| ACTION | Either attempt to allocate another device or wait until the required device is no longer busy. |