null_device        92 htags/htags.c  const char *null_device = NULL_DEVICE;
null_device       493 htags/htags.c  		{"@null_device@", null_device},
null_device        79 htags/htags.h  extern const char *null_device;