Type

filesize

File size or length of a region within a file.

type filesize = u64;