Updated device.rkt