#include "xc_ptr.h"

extern inline xc_ptr array_to_xc_ptr(const unsigned a[]);