#ifndef FILESYS_OFF_T_H
#define FILESYS_OFF_T_H
#include
/* An offset within a file.
This is a separate header because multiple headers want this
definition but not any others. */
typedef int32_t off_t;
/* Format specifier for printf(), e.g.:
printf (“offset=%”PROTd”\n”, offset); */
#define PROTd PRId32
#endif /* filesys/off_t.h */