@@ -5,6 +5,7 @@
6#include "idris_rts.h"
6#include "idris_rts.h"
8CData array_alloc(int size);
9CData array_alloc(int size);
9void array_realloc(int size, CData array);
10void array_realloc(int size, CData array);
10uint8_t array_peek(int ofs, CData array);
11uint8_t array_peek(int ofs, CData array);