const DIRCOOKIE_START: dircookie_t = 0;