.ST_MMODE: {0}
.ST_INO: {1}
.ST_DEV: {2}
.ST_NLINK: {3}
.ST_UID: {4}
.ST_GID: {5}
.ST_SIZE: {6}
.ST_ATIME: {7}
.ST_MTIME: {8}
.ST_CTIME: {9}

.S_IMODE: (mode: Nat) -> Nat
.S_IFMT: (mode: Nat) -> Nat

.S_IFDIR: {0o04000}
.S_IFCHR: {0o02000}
.S_IFBLK: {0o06000}
.S_IFREG: {0o10000}
.S_IFIFO: {0o01000}
.S_IFLNK: {0o12000}
.S_IFSOCK: {0o14000}
.S_IFDOOR: {0}
.S_IFPORT: {0}
.S_IFWHT: {0}

.S_ISDIR: (mode: Nat) -> Bool
.S_ISCHR: (mode: Nat) -> Bool
.S_ISBLK: (mode: Nat) -> Bool
.S_ISREG: (mode: Nat) -> Bool
.S_ISFIFO: (mode: Nat) -> Bool
.S_ISLNK: (mode: Nat) -> Bool
.S_ISSOCK: (mode: Nat) -> Bool
.S_ISDOOR: (mode: Nat) -> Bool
.S_ISPORT: (mode: Nat) -> Bool
.S_ISWHT: (mode: Nat) -> Bool

.S_ISUID: {0o4000}
.S_ISGID: {0o2000}
.S_ENFMT: {0o2000}
.S_ISVTX: {0o1000}
.S_IREAD: {0o0400}
.S_IWRITE: {0o0200}
.S_IEXEC: {0o0100}
.S_IRWXU: {0o0700}
.S_IRUSR: {0o0400}
.S_IWUSR: {0o0200}
.S_IXUSR: {0o0100}
.S_IRWXG: {0o0070}
.S_IRGRP: {0o0040}
.S_IWGRP: {0o0020}
.S_IXGRP: {0o0010}
.S_IRWXO: {0o0007}
.S_IROTH: {0o0004}
.S_IWOTH: {0o0002}
.S_IXOTH: {0o0001}

.UF_NODUMP: {0x00000001}
.UF_IMMUTABLE: {0x00000002}
.UF_APPEND: {0x00000004}
.UF_OPAQUE: {0x00000008}
.UF_NOUNLINK: {0x00000010}
.UF_COMPRESSED: {0x00000020}
.UF_HIDDEN: {0x00008000}
.SF_ARCHIVED: {0x00010000}
.SF_IMMUTABLE: {0x00020000}
.SF_APPEND: {0x00040000}
.SF_NOUNLINK: {0x00100000}
.SF_SNAPSHOT: {0x00200000}

.filemode: (mode: Nat) -> Str

.FILE_ATTRIBUTE_ARCHIVE: {32}
.FILE_ATTRIBUTE_COMPRESSED: {2048}
.FILE_ATTRIBUTE_DEVICE: {64}
.FILE_ATTRIBUTE_DIRECTORY: {16}
.FILE_ATTRIBUTE_ENCRYPTED: {16384}
.FILE_ATTRIBUTE_HIDDEN: {2}
.FILE_ATTRIBUTE_INTEGRITY_STREAM: {32768}
.FILE_ATTRIBUTE_NORMAL: {128}
.FILE_ATTRIBUTE_NOT_CONTENT_INDEXED: {8192}
.FILE_ATTRIBUTE_NO_SCRUB_DATA: {131072}
.FILE_ATTRIBUTE_OFFLINE: {4096}
.FILE_ATTRIBUTE_READONLY: {1}
.FILE_ATTRIBUTE_REPARSE_POINT: {1024}
.FILE_ATTRIBUTE_SPARSE_FILE: {512}
.FILE_ATTRIBUTE_SYSTEM: {4}
.FILE_ATTRIBUTE_TEMPORARY: {256}
.FILE_ATTRIBUTE_VIRTUAL: {65536}