Is the `<device.h>` still needed?