WASI Preview1 type $dircookie
$dircookie
A reference to the offset of a directory entry. The value 0 signifies the start of the directory.
Definition:
(typename $dircookie u64)