dual_timestamp timestamp;
LIST_FIELDS(struct Device, devices);
dual_timestamp timestamp;
LIST_FIELDS(struct Device, devices);
void device_free(Device *d);
void device_attach(Device *d, Seat *s);
void device_free(Device *d);
void device_attach(Device *d, Seat *s);