pub const __WASI_DIRCOOKIE_START: u64 = 0; // 0u64