#include <oskit/flask/avc.h>
const oskit_iid_t oskit_avc_iid = OSKIT_AVC_IID;