Type Definition wasi::Filesize

type Filesize = u64;