(* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/dirent.h: *) d_ino*: ino_t; (* inode number *) d_off*: off_t; (* offset to this dirent *) d_reclen*: SHORTINT; (* length of this d_name *) d_type*: BYTE; d_name*: ARRAY [untagged] 256 OF SHORTCHAR;
