Penguin

Describe [ -r /var/run/$DEVICE.pid? here.