Deleted device.rkt