Added new function null_device(), which returns the name of the NULL device (e.g...