void print_vector(PVector_ptr a) { if (a.vector == NULL) { printf("%s","[]"); return; } REF((heap_object *)a.vector); print_pvector(a); DEREF((heap_object *)a.vector); }
void print_vector(PVector_ptr a) { REF((heap_object *)a.vector); print_pvector(a); DEREF((heap_object *)a.vector); }