// define "Handle". split out of h_mgr.h to reduce dependencies.

#ifndef HANDLE_DEFINED
#define HANDLE_DEFINED

#include "lib/types.h"

// 0 = invalid handle value; < 0 is an error code.
// 64 bits, because we want tags to remain unique: tag overflow may
// let handle use errors slip through, or worse, cause spurious errors.
// with 32 bits, we'd need >= 12 for the index, leaving < 512K tags -
// not a lot.
typedef i64 Handle;

#endif	// #ifndef HANDLE_DEFINED
