null_device 84 htags/htags.c const char *null_device = NULL_DEVICE; null_device 418 htags/htags.c {"@null_device@", null_device}, null_device 67 htags/htags.h extern const char *null_device;