dev_t
# define dev_t char
typedef u_long dev_t;
typedef struct tty *dev_tty_t(dev_t);
typedef uint64_t dev_t; /* device number */
#undef dev_t
#define dev_t unsigned int /* XXX: assumes int is 32 bits */