#include <oskit/principal.h>
const oskit_iid_t oskit_principal_iid = OSKIT_PRINCIPAL_IID;