// Copyright Microsoft and CHERIoT Contributors.
// SPDX-License-Identifier: MIT

#include <compartment.h>

struct Identifier;

__cheri_compartment("identifier") Identifier *identifier_create(int value);
__cheri_compartment("identifier") int identifier_value(Identifier *identifier);
__cheri_compartment("identifier") void identifier_destroy(Identifier *);