Renaming "SmallMachine" to "Device" for brevity