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;