#ifndef OBJECTID_H
#define OBJECTID_H

/*  object_id.h                                                          */


#include "core/int_types.h"

typedef uint64_t ObjectID;

#endif