device_replyUser.c device_reply_U.h: device_reply.defs \
  /usr/local/include/device/device_reply.defs \
  /usr/local/include/mach/std_types.defs \
  /usr/local/include/mach/machine/machine_types.defs \
  /usr/local/include/device/device_types.defs