#include
#include “refcount.h”
#include “intlist.h”
//////////////
/// Public Interface (see intlist.h)
int* intlist_create (int* v, int n) {
int* l = rc_malloc ((n+1) * sizeof (*v));
for (int i=0; i
#include
#include “refcount.h”
#include “intlist.h”
//////////////
/// Public Interface (see intlist.h)
int* intlist_create (int* v, int n) {
int* l = rc_malloc ((n+1) * sizeof (*v));
for (int i=0; i