modified:   src/device.h